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.
Passed
Push — master ( 64db4b...6f97ac )
by Elias
15:25 queued 15s
created
src/Audit.php 1 patch
Indentation   +1 added lines, -1 removed lines patch added patch discarded remove patch
@@ -186,7 +186,7 @@
 block discarded – undo
186 186
 
187 187
     /**
188 188
      * Controls whether the diff output for trails will be pretty printed if the value is json or not
189
-    */
189
+     */
190 190
     public $enablePrettyDiffForTrails = false;
191 191
 
192 192
     /**
Please login to merge, or discard this patch.