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 (#9)
by Mario
07:30
created

Changes

9.61
▲   + 0.31
Head
Mario Blazek  
Merge 81324542b3883a308118fd6c3c0bed05d4ec1d52 into 5305c074bb754af19516f3fb54b2f6a2cc266ed9
4 more commits
Base
Edi Modrić  
Update install.md