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

Fixes #176

develop . #179 . pull request triggered

  No notable changes.
02:50
created
Do not rate game or persist results for single player games

develop . #178 . pull request triggered

  3 new issues, 3 fixed issues found.
01:30
created
10s
created
Use identifiers for registration responses, not UI strings

develop . #174 . pull request triggered

  No notable changes.
01:22
created
Use identifiers for registration responses, not UI strings

develop . #174 . pull request triggered

  No notable changes.
01:19
created
Send the channel list in the welcome message

develop . #172 . pull request triggered

  No notable changes.
01:19
created
Feature/adapt unit stats

develop . #173 . pull request triggered

  No notable changes.
01:27
created
Feature/adapt unit stats

develop . #173 . pull request triggered

  No notable changes.
01:29
created
Send the channel list in the welcome message

develop . #172 . pull request triggered

  No notable changes.
01:22
created
Send the channel list in the welcome message

develop . #172 . pull request triggered

  No notable changes.
01:28
created
Wait until host is ready before sending GpgNet stuff

develop . #170 . pull request triggered

  3 new issues, 3 fixed issues found.
01:43
created
Wait until host is ready before sending GpgNet stuff

develop . #170 . pull request triggered

  3 new issues, 3 fixed issues found.
01:37
created
Wait until host is ready before sending GpgNet stuff

develop . #170 . pull request triggered

  3 new issues, 3 fixed issues found.
01:34
created
Wait until host is ready before sending GpgNet stuff

develop . #170 . pull request triggered

  3 new issues, 3 fixed issues found.
01:42
created
Fix unit test

develop . 17db8d...d59993 . push triggered

  No notable changes.
01:20
created
Send complete player information for the connecting user

develop . #164 . pull request triggered

  No notable changes.
01:22
created
Add some tests for the registration system

develop . #163 . pull request triggered

  No notable changes.
01:21
created
Add some tests for the registration system

develop . #163 . pull request triggered

  No notable changes.
01:21
created
Add some tests for the registration system

develop . #163 . pull request triggered

  No notable changes.
01:25
created
Add some tests for the registration system

develop . #163 . pull request triggered

  2 new issues, 2 fixed issues found.
01:23
created