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 (04149d)
by Iacovos
12:27
created
src/JobMonitor.php 1 patch
Doc Comments   +2 added lines, -2 removed lines patch added patch discarded remove patch
@@ -130,7 +130,7 @@  discard block
 block discarded – undo
130 130
     }
131 131
 
132 132
     /**
133
-     * @param $log
133
+     * @param string $log
134 134
      */
135 135
     public function setLog($log)
136 136
     {
@@ -200,7 +200,7 @@  discard block
 block discarded – undo
200 200
     /**
201 201
      * Constructs and returns the Monitor request to be to Jenkins
202 202
      *
203
-     * @return Psr\Http\Message\RequestInterface
203
+     * @return Request
204 204
      */
205 205
     public function getRequest()
206 206
     {
Please login to merge, or discard this patch.