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
12 files with issues
Count Path Last Found
65 src/Collection.php
Deprecated Code Duplication Bug Best Practice Security
15 src/Map.php
Duplication Bug Best Practice Deprecated Code
10 src/ObjectStorage.php
Deprecated Code Security Best Practice
2 src/Sequence.php
Bug Best Practice Deprecated Code
2 src/SequenceInterface.php
Documentation
11 src/Set.php
Duplication 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
41 src/StringPrimitive.php
Deprecated Code Security Best Practice Duplication