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 ( 62e449...7b8869 )
by Baptiste
07:10
created
12 files with issues
Count Path Last Found
2 src/SequenceInterface.php
Documentation
15 src/Map.php
Duplication Bug Best Practice Deprecated Code
11 src/Set.php
Duplication Bug Best Practice Deprecated Code
65 src/Collection.php
Deprecated Code Duplication Bug Best Practice Security
10 src/ObjectStorage.php
Deprecated Code Security Best Practice
41 src/StringPrimitive.php
Deprecated Code Security Best Practice Duplication
50 src/TypedCollection.php
Deprecated Code Duplication
1 src/TypedCollectionInterface.php
Deprecated Code
2 src/Sequence.php
Bug Best Practice Deprecated Code
17 src/Str.php
Documentation Duplication