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 (#4)
by
unknown
08:18
created

Changes

18 issues were newly filtered.
10
▶   ± 0
Head
Marc  
Merge a0a3c7acc9193ea719005b315a6ef06da495d5c1 into 120503b0c889192e15fc3d8f941afb63b862a8fc
1 more commit
Base
Christian Gripp  
Merge pull request #2 from core23/analysis-zRLjo9