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 ( 6a3c70...a07f0a )
by Miles
03:52
created
src/Resource/FileResource.php 1 patch
Doc Comments   +1 added lines, -1 removed lines patch added patch discarded remove patch
@@ -272,7 +272,7 @@
 block discarded – undo
272 272
     /**
273 273
      * Returns the filename of the resource
274 274
      *
275
-     * @return mixed The filename
275
+     * @return string The filename
276 276
      */
277 277
     public function getFilename()
278 278
     {
Please login to merge, or discard this patch.