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 (#127)
by Mark
01:12
created

Changes

Good job, 1 issue was fixed.
9.34
▶   ± 0
Head
Mark van Eijk  
Merge 630d9d0ec9da3016da76581335f8603763687437 into edd496db0993c6a1536dfcf22823f41aed58a91a
17 more commits
Base
freek  
wip