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 (#217)
by Eric
65:19 queued 62:20
created
9.16
▲   + 0.03
Test Coverage
98%
▶ ±0%
Head
Eric GELOEN  
Merge 1bc0cf0de45acf39b059c450c43d224e4a3444fd into de7e430e3fed44fdd2c8a60c648ddd9becbfa4e6
1 more commit
Base
Eric GELOEN  
[Overlay] Add Symbol support (#216)