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 ( b77c22...328df1 )
by Cees-Jan
25s queued 12s
created
src/RequestFactory.php 1 patch
Doc Comments   +5 added lines, -2 removed lines patch added patch discarded remove patch
@@ -76,6 +76,9 @@  discard block
 block discarded – undo
76 76
         });
77 77
     }
78 78
 
79
+    /**
80
+     * @param LoopInterface $loop
81
+     */
79 82
     protected function sink($loop, $response, $target)
80 83
     {
81 84
         $deferred = new Deferred();
@@ -148,7 +151,7 @@  discard block
 block discarded – undo
148 151
 
149 152
     /**
150 153
      * @param array $options
151
-     * @return array
154
+     * @return LoopInterface
152 155
      */
153 156
     protected function convertOptions(array $options)
154 157
     {
@@ -191,7 +194,7 @@  discard block
 block discarded – undo
191 194
     }
192 195
 
193 196
     /**
194
-     * @param object $object
197
+     * @param HttpClient $object
195 198
      * @param string $desiredProperty
196 199
      * @return mixed
197 200
      */
Please login to merge, or discard this patch.