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 ( 5ff50a...ff870a )
by De
05:58 queued 12s
created
src/Document.php 1 patch
Doc Comments   +7 added lines, -1 removed lines patch added patch discarded remove patch
@@ -181,11 +181,17 @@  discard block
 block discarded – undo
181 181
         return $this->options;
182 182
     }
183 183
 
184
+    /**
185
+     * @param string $name
186
+     */
184 187
     public function getOption($name, $default = null)
185 188
     {
186 189
         return isset($this->options[$name]) ? $this->options[$name] : $default;
187 190
     }
188 191
 
192
+    /**
193
+     * @param string $name
194
+     */
189 195
     public function hasOption($name)
190 196
     {
191 197
         return isset($this->options[$name]);
@@ -1297,7 +1303,7 @@  discard block
 block discarded – undo
1297 1303
 
1298 1304
     /**
1299 1305
      *
1300
-     * @return \Sokil\Mongo\RevisionManager
1306
+     * @return RevisionManager
1301 1307
      */
1302 1308
     public function getRevisionManager()
1303 1309
     {
Please login to merge, or discard this patch.