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 (#2816)
by
unknown
03:18
created

Changes

1 issue (minor) was introduced.
5.09
▶   ± 0
Head
Jonathan Mifsud  
Merge 03e07067000dc80eb5cf02528601bcf24bdd3e6e into 2255c0e6f4af56cff980e8a9fad3b941bfb1d5dc
1 more commit
Base
Nicolas Brassard  
Release 2.7.4