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 ( d5badb...35381c )
by Christian
10s
created
13 files with issues
Count Path Last Found
5 constants.php
Coding Style
26 helper.php
Coding Style Documentation Comprehensibility Best Practice
61 js/admin.js
Coding Style Bug Unused Code Best Practice
71 media_types.php
Coding Style Documentation
295 model/base.php
Bug Best Practice Unused Code Coding Style Documentation
210 model/button.php
Bug Best Practice Documentation Coding Style Comprehensibility Unused Code
8 model/network_button.php
Coding Style Documentation
207 podlove.php
Coding Style Bug Unused Code Documentation Comprehensibility Best Practice
75 settings/buttons_list_table.php
Best Practice Unused Code Coding Style Documentation Comprehensibility
252 settings/buttons.php
Bug Coding Style Documentation Best Practice Comprehensibility