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 (#23)
by Malcolm
04:30 queued 02:15
created

Changes

9.95
▶   ± 0
Head
Malcolm  
Merge 32aff7ae809bfcf349ad4a5c64896af8785277bf into b84ced3faafe1c9dc93735c983e7d52dd01662a4
5 more commits
Base
Malcolm  
Add link to #20