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 — reflection-replacement-step-1 (#845)
by Tomáš
138:56 queued 137:51
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 cb4d685682d331ad8e7a290e8015a1182ac64307 into 6f8bcb289f9163f1288d50beb538a4e7dd9bb2a7