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 ( 48a667...4be32c )
by Baptiste
02:09
created
11 files with issues
Count Path Last Found
1 src/IntRange.php
Duplication
17 src/Map.php
Bug Best Practice Documentation
10 src/MapInterface.php
Documentation
1 src/NumericRange.php
Duplication
8 src/Sequence.php
Bug Best Practice Documentation
4 src/SequenceInterface.php
Documentation
16 src/Set.php
Bug Best Practice Duplication Documentation
15 src/SetInterface.php
Documentation
12 src/Str.php
Documentation
17 src/Stream.php
Duplication Documentation Bug Best Practice