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

make the server compatible with the new uid JSON format

develop . #121 . pull request triggered

  2 new issues found.
01:23
created
make the server compatible with the new uid JSON format

develop . #121 . pull request triggered

  2 new issues found.
01:29
created
make the server compatible with the new uid JSON format

develop . #121 . pull request triggered

  Data is cleaned up.
28s
created
make the server compatible with the new uid JSON format

develop . #121 . pull request triggered

  2 new issues found.
01:28
created
ignore dicts and other data in VM check

develop . #120 . pull request triggered

  2 new issues found.
01:11
created
Send ID instead of name for host in gameinfo message

develop . #119 . pull request triggered

  No notable changes.
01:07
created
Brute force

develop . f7ac8e...0254c9 . push triggered

  No notable changes.
01:10
created
Fix game closing

develop . 3cecad...f7ac8e . push triggered

  No notable changes.
01:12
created
Don't convert to str

develop . 59ce33...3cecad . push triggered

  No notable changes.
01:16
created
Fix uniqueid warning

develop . 6f01be...59ce33 . push triggered

  No notable changes.
01:16
created
Fix uniqueid warning

develop . 29a247...6f01be . push triggered

  No notable changes.
01:14
created
Encode strings before hashing

develop . 79d2be...29a247 . push triggered

  No notable changes.
01:07
created
More python3.5 syntax

develop . 091534...79d2be . push triggered

  No notable changes.
01:08
created
Correct wording

develop . 3826f2...091534 . push triggered

  4 new issues, 4 fixed issues found.
01:07
created
Explicitly set stderr handler

develop . a7b80f...3826f2 . push triggered

  No notable changes.
01:10
created
Fix use of params in db_init

develop . a5986d...a7b80f . push triggered

  No notable changes.
01:13
created
Fix url errors

develop . df336a...a5986d . push triggered

  No notable changes.
01:06
created
CONTENT_URL has no trailing slash

develop . f75d04...df336a . push triggered

  No notable changes.
01:08
created
Update coveralls badges

develop . 392808...f75d04 . push triggered

  No notable changes.
01:18
created
Use a script for reporting coverage

develop . 4cdd53...392808 . push triggered

  No notable changes.
01:22
created