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 (#31)
by
unknown
01:51
created

Changes

Good job, 2 issues were fixed.
8.8
▶   ± 0
Head
Giuseppe Burtini  
Merge 1ed07a8d8ed73b1dbb0933c1fbf1e8cab1bf5530 into 4c17a08aed3b9d30e9d724e0a15829f9453c3e0c
1 more commit
Base
Maurice Fonk  
Merge pull request #27 from gburtini/patch-1