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 ( ec79d4...075301 )
by Pedro
04:30 queued 01:48
created
build/Classes/Update/Content/AbstractContent.php 1 patch
Doc Comments   +4 added lines patch added patch discarded remove patch
@@ -151,6 +151,10 @@
 block discarded – undo
151 151
         return stream_get_contents ( $handle );
152 152
     }
153 153
 
154
+    /**
155
+     * @param string $url
156
+     * @param string $content
157
+     */
154 158
     public function putContent ( $url , $content )
155 159
     {
156 160
         switch ( $this->objProtocol->getProtocol () )
Please login to merge, or discard this patch.
build/Classes/Update/ProtocolFileContent.php 1 patch
Doc Comments   +1 added lines patch added patch discarded remove patch
@@ -72,6 +72,7 @@
 block discarded – undo
72 72
     }
73 73
 
74 74
     /**
75
+     * @param string $type
75 76
      * @return bool
76 77
      */
77 78
     private function hasEnabled ( $type )
Please login to merge, or discard this patch.