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 (#1209)
by Craig
02:21
created

No notable changes

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

8.29
▶   ± 0
Head
Craig Blanchette  
Merge 1176ff5980cfa204f57bae696c90e213268e988a into f3767687a333ef00c6e969cdc9768cf2dbf15a19
1 more commit
Base
Philipp A. Mohrenweiser  
Merge pull request #1170 from n1c01a5/master