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.
develop . b9c207...640d8e . push triggered
queued 03:06
develop . 4dfac1...b9c207 . push triggered
queued 15s
develop . c07313...4dfac1 . push triggered
queued 01:10
develop . #111 . pull request triggered
queued 01:12
feature/vbox-bridging . c07313...cc063c . push triggered
feature/vbox-bridging . c07313 . push triggered
queued 21s
develop . b92aee...c07313 . push triggered
queued 02:47
develop . #110 . pull request triggered
queued 02:54
feature/silent-subprocesses . b92aee...d7d3aa . push triggered
feature/silent-subprocesses . b92aee . push triggered
queued 05:06
develop . 429d1c...b92aee . push triggered
queued 19s
develop . #109 . pull request triggered
queued 16s
feature/targets-as-code . 0ec70d...208e44 . push triggered
queued 11s
feature/targets-as-code . 429d1c...0ec70d . push triggered
feature/targets-as-code . 429d1c . push triggered
queued 04:51
feature/remove-php-parser . 429d1c . push triggered
queued 09:35
develop . 24187a...429d1c . push triggered
queued 04:27
develop . #108 . pull request triggered
develop . 046891...24187a . push triggered
feature/player-improvements . 42d426...7dbc83 . push triggered