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 (#5)
by Dominik
03:27
created

No notable changes

There were no notable changes in the changeset which was inspected.

9.82
▶   ± 0
Test Coverage
74%
▲ +1%   –   Changes
Head
Dominik Mank  
Merge d1c1459b911aac3d2fa44c993d7bb9428ff46307 into 23b5912c1c7a5ed924eeb766b584dcff4e189b00
2 more commits
Base
Dominik Mank  
dont kill the worker with a posix_kill signal, instead stop the while and let the process gracefully finish