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

Branch: master
Remove use of getExtension

master . #1042 . pull request triggered

  No notable changes.
02:36
created
Remove use of getExtension

master . #1042 . pull request triggered

  No notable changes.
02:34
created
Add the beginnings of a dedicated page for extensions.

master . #909 . pull request triggered

  No notable changes.
02:40
created
Add the beginnings of a dedicated page for extensions.

master . #909 . pull request triggered

  No notable changes.
02:33
created
Add the beginnings of a dedicated page for extensions.

master . #909 . pull request triggered

  1 new issue found.
02:54
created
Add the beginnings of a dedicated page for extensions.

master . #909 . pull request triggered

  5 new issues found. 1 suggested patches.
02:48
created
Add the beginnings of a dedicated page for extensions.

master . #909 . pull request triggered

  11 new issues found. 1 suggested patches.
02:52
created
Add the beginnings of a dedicated page for extensions.

master . #909 . pull request triggered

  11 new issues found. 1 suggested patches.
02:35
created
Add the beginnings of a dedicated page for extensions.

master . #909 . pull request triggered

  16 new issues, 45 fixed issues found. 1 suggested patches.
02:49
created
Add the beginnings of a dedicated page for extensions.

master . #909 . pull request triggered

  12 new issues, 2 fixed issues found. 1 suggested patches.
02:29
created
Fix excludes error

master . #1026 . pull request triggered

  No notable changes.
02:30
created
Add the beginnings of a dedicated page for extensions.

master . #909 . pull request triggered

  12 new issues, 2 fixed issues found. 1 suggested patches.
03:16
created
Add the beginnings of a dedicated page for extensions.

master . #909 . pull request triggered

  12 new issues, 2 fixed issues found. 1 suggested patches.
02:49
created
Add the beginnings of a dedicated page for extensions.

master . #909 . pull request triggered

  12 new issues, 2 fixed issues found. 1 suggested patches.
02:43
created
Add the beginnings of a dedicated page for extensions.

master . #909 . pull request triggered

  12 new issues, 2 fixed issues found. 1 suggested patches.
02:32
created
Add the beginnings of a dedicated page for extensions.

master . #909 . pull request triggered

  12 new issues, 2 fixed issues found. 1 suggested patches.
03:58
created
Add the beginnings of a dedicated page for extensions.

master . #909 . pull request triggered

  13 new issues, 2 fixed issues found. 1 suggested patches.
02:48
created
Add release script (WIP)

master . #938 . pull request triggered

  No notable changes.
03:07
created
Fix fatal error on uninstall

master . #1020 . pull request triggered

  No notable changes.
03:27
created
Add the beginnings of a dedicated page for extensions.

master . #909 . pull request triggered

  13 new issues, 2 fixed issues found. 1 suggested patches.
02:35
created