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
Pull Request — master (#11)
by
unknown
08:20
created

Changes

1 issue (minor) was introduced.
1 issue was fixed.
Test Coverage has decreased to 95% (-2%).
10
▶   ± 0
Test Coverage
95%
▼ -2%   –   Changes
Head
Gary PEGEOT  
Merge 1b0bb069523307a9994ae4d28c3145d33e6f12d1 into a4872da9b46af51b79583e7bd4787d0b4ab98964
3 more commits
Base
Gary PEGEOT  
CS fix