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 (#217)
by Eric
102:14 queued 99:14
created

Changes

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

What's next?

9.16
▶   ± 0
Test Coverage
98%
Commit
Eric GELOEN –
Merge 241a8c93b291024951e427266de1fb97e5e79ec3 into de7e430e3fed44fdd2c8a60c648ddd9becbfa4e6