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
Push — develop ( c01944...a8a408 )
by Bob Olde
7s
created

Changes

Test Coverage has increased to 100% (+4%).
7.69
▶   ± 0
Test Coverage
100%
▲ +4%   –   Changes
Head
Bart van Gennep  
Merge d1c751df5967d8c6f7ad454ec9dc9b44c6e6db66 into c01944c21ad1b9eb8fe5ec6fc77c3b7a2cc57785
3 more commits
Base
Bob Olde Hampsink  
Added status badges