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.

Inspections

update CHANGES

master . 30351f...448f80 . push triggered

  No notable changes.
07:37
created
add an extra check when deleting temporary CRL

master . c78d6e...30351f . push triggered

  1 fixed issue found.
09:39
created
fix type documentation

master . 3e06a4...c78d6e . push triggered

  1 fixed issue found. 1 suggested patches.
08:45
created
add travis icon

master . ca0726...3e06a4 . push triggered

  No notable changes.
08:39
created
update README and change API a little

master . 737b3f...ca0726 . push triggered

  14 new issues, 7 fixed issues found. 4 suggested patches.
05:21
created
add scrutinizer icon

master . cc7be5...737b3f . push triggered

  No notable changes.
03:34
created
update dependencies

master . cc7be5 . manually triggered

  29 issues, 1 duplication found. 1 patches suggested.
02:18
created