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

Fix password reset form not displaying correctly, closes #380

develop . 535901...4011ae . push triggered

  115 new issues, 11 fixed issues found.
02:56
created
Add link to front-end server view when managing server in Admin CP, closes #387

develop . de923b...535901 . push triggered

  11 new issues, 114 fixed issues found.
02:52
created
Fix server deletion logic, and clean up suspend/unsuspend operations

develop . 91ce97...de923b . push triggered

  114 new issues, 17 fixed issues found.
02:47
created
Fix missing service file, closes #390

develop . de436d...91ce97 . push triggered

  10 new issues, 114 fixed issues found.
03:08
created
show Suspended server in overview fixes #386 (#388)

develop . 200692...de436d . push triggered

  4 new issues, 90 fixed issues found.
02:48
created
show Suspended server in overview fixes #386

develop . #388 . pull request triggered

  10 new issues, 205 fixed issues found.
02:49
created
show Suspended server in overview fixes #386

develop . #388 . pull request triggered

  No notable changes.
03:00
created
added a check if the task has run yet (#385)

develop . f59e4e...200692 . push triggered

  No notable changes.
02:57
created
show Suspended server in overview fixes #386

develop . #388 . pull request triggered

  No notable changes.
03:02
created
added a check if the task has run yet

develop . #385 . pull request triggered

  No notable changes.
02:48
created
added a check if the task has run yet

develop . #385 . pull request triggered

  No notable changes.
04:55
created
added a check if the task has run yet

develop . #385 . pull request triggered

  No notable changes.
02:56
created
Fix number in changelog...

develop . 60f3f2...f59e4e . push triggered

  No notable changes.
05:00
created
03:08
created
Merge pull request #381 from KasperFranz/bug/deleteServer

develop . dcc225...7ef236 . push triggered

  No notable changes.
03:21
created
change server to server_id since that is the new name

develop . #381 . pull request triggered

  No notable changes.
02:58
created
Do things correctly...

develop . b000b4...dcc225 . push triggered

  No notable changes.
02:52
created
Fixes task migration issue, closes #378

develop . f58858...b000b4 . push triggered

  No notable changes.
02:56
created
Add console popout option.

develop . eeeb4b...f58858 . push triggered

  2 new issues found.
02:55
created
Update route javascript file.

develop . 7f48b7...eeeb4b . push triggered

  No notable changes.
02:56
created