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
66:07 queued 63:17
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 695f11786498b198448c959ae2ce17247dede13e into de7e430e3fed44fdd2c8a60c648ddd9becbfa4e6