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

Initiated By: Stuart Herbert
Branch: develop
03:40
created
Fix: removed now unused .storyplayer config files

develop . ce92c0...742891 . push triggered

  Data is cleaned up.
07:21
created
Fix: load the user dotfile once more

develop . 96a6ee...ce92c0 . push triggered

  Data is cleaned up.
08:26
created
Merge tag '2.3.0' into develop

develop . 7a160e...96a6ee . push triggered

  Data is cleaned up.
18:55
created
Workaround: PHP 5.6 on Ubuntu accepts invalid JSON :(

develop . d6265e...7a160e . push triggered

  Data is cleaned up.
06:47
created
Fix: enforce the permissions on the file that we test

develop . 691554...d6265e . push triggered

  Data is cleaned up.
08:39
created
08:39
created
08:53
created
Fix: localhost needs to accept a group definition now

develop . 9136e9...1b57c5 . push triggered

  Data is cleaned up.
47:14
created
Fix: localhost needs to accept a group definition now

develop . 9136e9...1b57c5 . push triggered

  Data is cleaned up.
88:00
created
65:13
created
72:05
created
48:43
created
222:40
created
Feature: CentOS 7 support

develop . #168 . pull request triggered

  Data is cleaned up.
175:11
created
138:37
created
Feature: Ubuntu host support

develop . #167 . pull request triggered

  Data is cleaned up.
91:33
created
564:12
created
410:44
created
Feature/avoid dot storyplayer

develop . #165 . pull request triggered

  Data is cleaned up.
364:24
created