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
Branch master (1a6d47)
by De
03:58 queued 01:52
created
src/Cursor.php 1 patch
Doc Comments   +1 added lines, -1 removed lines patch added patch discarded remove patch
@@ -902,7 +902,7 @@
 block discarded – undo
902 902
     /**
903 903
      * Copy selected documents to another collection
904 904
      *
905
-     * @param type $targetCollectionName
905
+     * @param string $targetCollectionName
906 906
      * @param type $targetDatabaseName Target database name. If not specified - use current
907 907
      */
908 908
     public function copyToCollection($targetCollectionName, $targetDatabaseName = null)
Please login to merge, or discard this patch.