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 (#114)
by
unknown
09:33
created
8.96
▶   ± 0
Head
benoitgeerinck  
Merge 152f3e38f783a15c928986fa840ebd740a88a5c8 into 8a607c3aad07df2a4454e84be891ebf95b6e12cc
1 more commit
Base
Roderik van der Veer  
Merge pull request #112 from benoitgeerinck/fix/pkill-space-char