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 (#993)
by Paul
02:42
created

No notable changes

There were no notable changes in the changeset which was inspected.

8.57
▶   ± 0
Head
Paul de Wouters  
Merge 83ce1125b725089d6c89868d2a44cb4bc57bcd81 into fd183a287606d3eb4539bec2b0c83bd0a083573f
1 more commit
Base
Paul de Wouters  
Version 3.4.4