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
Pull Request — master (#30)
by Alex
02:30 queued 48s
created
src/Console/ResolveCommand.php 1 patch
Doc Comments   +1 added lines, -1 removed lines patch added patch discarded remove patch
@@ -41,7 +41,7 @@
 block discarded – undo
41 41
      * @param InputInterface  $input
42 42
      * @param OutputInterface $output
43 43
      *
44
-     * @return int|null|void
44
+     * @return boolean|null
45 45
      *
46 46
      * @throws Exception
47 47
      */
Please login to merge, or discard this patch.
src/Certificate.php 1 patch
Doc Comments   +3 added lines patch added patch discarded remove patch
@@ -150,6 +150,9 @@
 block discarded – undo
150 150
         return "-----BEGIN {$type}-----\n{$pem}-----END {$type}-----\n";
151 151
     }
152 152
 
153
+    /**
154
+     * @param \Closure $callable
155
+     */
153 156
     protected function guardAgainstUserErrorsFromPhpSeclib($callable)
154 157
     {
155 158
         set_error_handler(function ($errno, $errstr, $errfile, $errline) {
Please login to merge, or discard this patch.