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 (#105)
by Freek
03:14
created

Changes

Good job, 2 issues were fixed.
1 new patch (Doc Comments) is available.
8.23
▶   ± 0
Head
Freek Van der Herten  
Merge 395314fc7cf8deb07458ce9de93187b216ec146a into eb035710f44400ec820c664426a92753b6e19c17
3 more commits
Base
Nikolas Hagestein  
Feature/102 DOM Properties (#103)