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.
Passed
Pull Request — main (#8)
by Andreas
06:49
created

No notable changes

There were no notable changes in the changeset which was inspected.

8.89
▶   ± 0
Test Coverage
49%
▶ ±0%
Head
Andreas Kanz  
Merge 1a4f7f887b89f718c9f406f81236bd647595ba67 into f1ad2c3ad943da2dc534af62970c3822c8874fa7
1 more commit
Base
Andreas Kanz  
minor refactorings