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 (#13)
by Richard van
02:24
created

No notable changes

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

9.83
▶   ± 0
Head
Richard van Laak  
Merge 7321841ccf0ec01c96d0791281e0d6ec3073dc9b into 37aa9e138d730f2089e2d57703e2c5b35ecd8b96
4 more commits
Base
Emanuele Minotto  
Merge pull request #11 from mente/opt-key-generator