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 (#16)
by Christian
129:18
created
10
▶   ± 0
Head
Reyo Stallenberg  
Merge fcc9ac64ab1e31803d5918517b3fa674b3dc198e into be37ae6e233f4d79c1fa7bd8e619a8978d5c3811
7 more commits
Base
core23  
Updated docs