GitHub Access Token became invalid

It seems like the GitHub access token used for retrieving details about this repository from GitHub became invalid. This might prevent certain types of inspections from being run (in particular, everything related to pull requests).
Please ask an admin of your repository to re-new the access token on this website.
Completed
Pull Request — master (#8)
by Pascal
05:17 queued 03:13
created
8.9
▶   ± 0
Head
Pascal  
Merge c3dda07ceccf22a515de444727e0b44a55295f6d into a59007d16aefec74b1e7da8ce05ca2c87cd6dfdd
2 more commits
Base
Rich Morgan  
Added testing support for PHP 7.1