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

Refactor ConnectThroughProxy

develop . 43dade...102f5f . push triggered

  Data is cleaned up.
01:41
created
Yield from check_user_login

develop . fa8165...43dade . push triggered

  Data is cleaned up.
01:53
created
Check for falsy player_id instead of None

develop . 9d44a1...fa8165 . push triggered

  Data is cleaned up.
01:45
created
Use properties, abort on failure

develop . 22c313...9d44a1 . push triggered

  Data is cleaned up.
01:49
created
Fix player fixture

develop . d1ccf7...22c313 . push triggered

  Data is cleaned up.
02:07
created
Add debugging

develop . 6f41b7...ab4d3b . push triggered

  Data is cleaned up.
01:49
created
Don't store ip twice, and don't store localip

develop . 669636...6f41b7 . push triggered

  Data is cleaned up.
02:19
created
Don't connect to host as peer

develop . fe68da...aa6047 . push triggered

  Data is cleaned up.
01:44
created
Always return from EstablishConnection

develop . 17ea46...fe68da . push triggered

  Data is cleaned up.
01:52
created
Add the beta mod

develop . f725bb...17ea46 . push triggered

  Data is cleaned up.
02:04
created
Only remove game_connection if connected to a game

develop . 01748b...48650f . push triggered

  Data is cleaned up.
02:02
created
Escape mysql keyword in query

develop . 618d71...01748b . push triggered

  Data is cleaned up.
01:56
created
Don't randomly update session again with IP

develop . 62a9ae...618d71 . push triggered

  Data is cleaned up.
02:05
created
Only send disconnects while in lobby

develop . 8112c0...62a9ae . push triggered

  Data is cleaned up.
02:32
created
Dont update session twice

develop . dbadc2...8112c0 . push triggered

  Data is cleaned up.
02:04
created
Use randrange for session, use aiomysql for query

develop . b81c63...dbadc2 . push triggered

  Data is cleaned up.
01:47
created
Use json library over ujson

develop . c4b239...b81c63 . push triggered

  Data is cleaned up.
02:38
created
Use json library over ujson

develop . d13e26...c4b239 . push triggered

  Data is cleaned up.
01:57
created
Remove getPlayerPrivateAccess

master . 15bf1b...fdfef0 . push triggered

  Data is cleaned up.
02:11
created
Send player ID in welcome message

master . 7ec8d1...15bf1b . push triggered

  Data is cleaned up.
03:45
created