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

Changes

4 issues (4 informational) were introduced.
5.18
▼   -0.09
Head
jonathanpel  
Merge 8e7a396a15049bd2157dff12a5fb5046238fd342 into 568d3197fdef4b50076fe3f9105474591f188e42
10 more commits
Base
Vladimir Reznichenko  
Minor code tweaks (#574)