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 (#208)
by Michael
01:41
created

No notable changes

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

9.96
▶   ± 0
Head
Michael Babker  
Merge 48eee06b338e8be78d050f837ceac7b7384bd986 into 33a2a3697d65c4beaeb6a64d947db7e6c6994b1c
1 more commit
Base
freek  
wip