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 (#73)
by Michal
02:13
created

Changes

1 new patch (Doc Comments) is available.
8.01
▶   ± 0
Head
Michal Vyšinský  
Merge c0f47945ed505d0d42a49bd52b11ddfc3cc21ec1 into e9bab77eb7344f4697756ca55386576b05dc8e5a
1 more commit
Base
Regan McEntyre  
Merge pull request #66 from jwcobb/patch-1