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 (#85)
by Martin
05:03
created

Changes

1 new patch (Spacing) is available.
8.73
▶   ± 0
Test Coverage
100%
▶ ±0%
Head
Martin Keckeis  
Merge 4585654fe8d7550904664c58cda049a9fcaf17e5 into 6fa8fc672bcec7bc0eab250906f7028a05f843c4
6 more commits
Base
Martin Keckeis  
more generics + better test