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 (#723)
by Mark
16:08
created

Configuration has changed

The configuration has changed since Scrutinizer has last run. This page might contain changes that are not related to code modifications.

Changes

5 issues (5 minor) were introduced.
1 added class/operation
Arrow A bootstrap.php ➔ includeIfExists() added
A B AutocompleteElements::processElement() got worse
8.9
▶   ± 0
Head
Mark Story  
Merge b8203721abf41eb64d5a9484e01d776f474acbd9 into ddf5b27297c5576e3c96e65ec9f151d73be67042
2 more commits
Base
Jad Bitar  
Merge pull request #706 from dg/pull-latte