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 — develop ( d366eb...91a6b4 )
by Gabriel
11:21 queued 07:46
created
246 files with issues
Count Path Last Found
2 src/service/maps/objects/Abstract.php
Coding Style Compatibility Bug
4 src/Router/Parsers/Dynamic.php
Bug Best Practice Coding Style Unused Code Comprehensibility
2 src/Helpers/view/Breadcrumbs.php
Bug Documentation
7 src/form/renderer/DisplayGroup.php
Bug Duplication Coding Style Compatibility
4 src/File/Handler.php
Documentation Bug Unused Code Coding Style Compatibility
1 src/service/Maps.php
Coding Style Compatibility
4 src/Soap/Client.php
Bug Security
2 src/form/Elements/CheckboxGroup.php
Bug Best Practice Coding Style Compatibility
9 src/Request.php
Documentation Coding Style Compatibility Comprehensibility Best Practice
10 src/Helpers/view/Doctype.php
Unused Code Coding Style