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.
Passed
Pull Request — master (#9)
by no
07:55
created

Changes

8 issues (2 minor, 6 informational) were introduced.
Test Coverage has decreased to 71% (-10%).
13 new patches (Doc Comments, Indentation, Spacing) are available.
9.37
▼   -0.23
Test Coverage
71%
▼ -9%   –   Changes
Head
Thiemo Kreuz  
Merge 0ce1be7414ef9d86881a1945f405c7877ef9a783 into d0c76365048966defc806875d0f6cf077915c781
1 more commit
Base
Marius Hoch  
Merge pull request #12 from wmde/minorPerf