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 — 3.x (#96)
by Jindřich
02:16
created
9.97
▲   + 0.03
Test Coverage
83%
▲ +5%   –   Changes
Head
Jindřich Pilař  
Merge d2b037238179e79fc6630ccae0607ca1007ad57a into 48a2e95d10179844c65d2bc758100fb16679a117
1 more commit
Base
Jindřich Pilař  
Merge pull request #89 from JindrichPilar/namespace-change