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 — develop (#334)
by
unknown
37s
created

Changes

1 issue (informational) was introduced.
1 issue was fixed.
3 added classes/operations
Arrow A ConnectionThrottler.__init__() added
Arrow A ConnectionThrottler.attempt() added
Arrow A ConnectionThrottler added
9.78
▶   ± 0
Head
Lukas Erlacher  
Merge 79540bd9548a3e8d9beee619c17bd2f65fe91a2e into 739d1c5ac981d04879efd026c40969b973a761c2
1 more commit
Base
Michel Jung  
Properly send application/json to the policy server