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

Use docker on travis

develop . 43de30...9ed1f7 . push triggered

  No notable changes.
01:08
created
Update travis.yml

develop . a4a5a5...43de30 . push triggered

  No notable changes.
01:07
created
Send kick message before info

develop . bc5271...a4a5a5 . push triggered

  No notable changes.
01:25
created
Cancel matchmaker search on dead lobby connection

develop . 3b345a...bc5271 . push triggered

  No notable changes.
01:43
created
Make sure to mark queue dirty

develop . 9834ef...3b345a . push triggered

  No notable changes.
01:05
created
Don't redundantly set log level

develop . 60cee9...9834ef . push triggered

  No notable changes.
01:10
created
Update dockerfile

develop . e8319d...60cee9 . push triggered

  No notable changes.
01:10
created
Unify configuration

develop . 802f7f...e8319d . push triggered

  4 new issues, 3 fixed issues found.
01:09
created
Use python3.5 syntax in test_gameconnection

develop . ba687c...802f7f . push triggered

  No notable changes.
01:07
created
Fix matchmaker queue cleanup

develop . 7cfa5c...ba687c . push triggered

  No notable changes.
01:07
created
Skip negative armies during rating computation

develop . 53bed3...7cfa5c . push triggered

  No notable changes.
01:12
created
Use a list for mod keys

develop . c25757...53bed3 . push triggered

  No notable changes.
01:24
created
Remove game.update_rating and persist in memory instead

develop . 72193b...c25757 . push triggered

  No notable changes.
01:12
created
Include boundary_75 and round to nearest 10

develop . 2652a4...72193b . push triggered

  No notable changes.
01:08
created
Fix boundary_80 access from queue

develop . 973641...2652a4 . push triggered

  No notable changes.
01:08
created
Don't attempt to further process handled messages

develop . ffb809...973641 . push triggered

  No notable changes.
01:09
created
Don't import non existing module from server.py

develop . c22d44...ffb809 . push triggered

  No notable changes.
01:11
created
Make sure to keep reference before it is reset

develop . 4dfe15...c22d44 . push triggered

  No notable changes.
01:12
created
Broadcast 80%-boundaries for matchmaking queues

develop . 574e75...4dfe15 . push triggered

  2 new issues, 5 fixed issues found.
01:12
created
Make minimum game quality 40%

develop . a7c013...574e75 . push triggered

  No notable changes.
01:31
created