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 (#24)
by Pedro
02:20
created

Changes

1 new patch (Spacing) is available.
9.37
▶   ± 0
Head
Pedro Alarcão  
Merge 75eac0a477c4dfa2438c574800a9e02fa99f7123 into 93a98bfab9d4fbb5a995aa49032f7da4c9b7d92f
1 more commit
Base
Pedro Alarcão  
Merge pull request #23 from pedro151/V1.5.x