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
Push — master ( 1bb178...d86b02 )
by Marco
01:55
created
20 files with issues
Count Path Last Found
17 contrib/ipImap/function.php
Bug Coding Style Duplication Comprehensibility Best Practice
1 relistButton.php
Best Practice
3 list.php
Duplication Best Practice
1 contrib/expire.php
Duplication
1 listForm.php
Duplication
7 ajaxsbmt.js
Bug Coding Style Best Practice
3 result.php
Bug Best Practice Duplication
1 relistForm.php
Duplication
1 delistButton.php
Best Practice
3 changeMilter.php
Duplication