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 (#10)
by Pascal
09:21
created

Changes

1 new patch (Spacing) is available.
8.9
▶   ± 0
Head
Pascal  
Merge 4181a449e4932d8388a223e5a18312f75249eda2 into d91a2cc442ba566393157a21a2ae1877e7e278cc
2 more commits
Base
Rich Morgan  
Updated copyright year.