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 ( cad621...d8b57f )
by Baptiste
04:31
created
10 files with issues
Count Path Last Found
31 src/Collection.php
Bug Best Practice Security Deprecated Code Duplication
11 src/Map.php
Bug Best Practice Deprecated Code
1 src/ObjectStorage.php
Security Best Practice
2 src/Sequence.php
Bug Best Practice Deprecated Code
9 src/Set.php
Bug Best Practice Deprecated Code
18 src/Str.php
Documentation Bug Duplication
22 src/Stream.php
Documentation Bug Best Practice Duplication
22 src/StreamInterface.php
Documentation
36 src/StringPrimitive.php
Security Best Practice Deprecated Code Duplication
45 src/TypedCollection.php
Deprecated Code Duplication