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 (#177)
by Eric
05:51
created

Changes

Unfortunately, the changeset was too large and we could not compute changes, but only the current state.

What's next?

9.1
▶   ± 0
Commit
Eric GELOEN –
Merge a0eb2d73e615d0f4b264f1c892bdfb07a1287539 into b366b3a3aa0a773009659e88bb94f4919aa018a0