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 (#827)
by Tomáš
174:57 queued 173:47
created

Changes

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

What's next?

???
Test Coverage
77%
Commit
Tomáš Votruba –
Merge b400bc4099108e9b86972764551bb4179dec1b08 into fa603928b656a9e7c826e001f5295200d23f9712