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 (#1)
by Cees-Jan
06:37
created

No notable changes

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

???
Head
Cees-Jan Kiewiet  
Merge b72eb8c1124ffd289c3932dc1c5c439bb8b4a3e8 into bf775b1edee382669c06695cd1e314e5202d5ccb
1 more commit
Base
Cees-Jan Kiewiet  
Updated badges