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 (#84)
by Thomas
05:00
created

Changes

8 issues (3 major, 5 minor) were introduced.
8 issues were fixed.
8.73
▶   ± 0
Test Coverage
100%
▶ ±0%
Head
Thomas Müller  
Merge c0b48df0f9132b0f6bd0dae5c67455cc7dfe6fd2 into 6fa8fc672bcec7bc0eab250906f7028a05f843c4
1 more commit
Base
Martin Keckeis  
more generics + better test