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.
Completed
Push — master ( 73d557...f5b279 )
by
unknown
01:27
created
code/control/ControllerPermissionChecker.php 1 patch
Doc Comments   +1 added lines patch added patch discarded remove patch
@@ -7,6 +7,7 @@
 block discarded – undo
7 7
      * checks that the url is contains the secret code and is coming from the correct IP address (if not set to wildcard)
8 8
      * @var array $codesWithIPs
9 9
      * @var array $code - ID parameter in URL
10
+     * @param string $code
10 11
      * @return Boolean
11 12
      */
12 13
     public static function permissionCheck($codesWithIPs, $code) {
Please login to merge, or discard this patch.