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 — develop ( c3abb3...a85ac8 )
by Dane
11:30
created
app/Policies/ServerPolicy.php 1 patch
Doc Comments   +2 added lines, -2 removed lines patch added patch discarded remove patch
@@ -56,7 +56,7 @@  discard block
 block discarded – undo
56 56
      *
57 57
      * @param  \Pterodactyl\Models\User $user
58 58
      * @param  string $ability
59
-     * @return bool
59
+     * @return boolean|null
60 60
      */
61 61
     public function before(User $user, $ability)
62 62
     {
@@ -503,7 +503,7 @@  discard block
 block discarded – undo
503 503
      *
504 504
      * @param \Pterodactyl\Models\User   $user
505 505
      * @param \Pterodactyl\Models\Server $server
506
-     * @param $permission
506
+     * @param string $permission
507 507
      * @return bool
508 508
      */
509 509
     private function checkPermission(User $user, Server $server, $permission)
Please login to merge, or discard this patch.
app/Repositories/UserRepository.php 1 patch
Doc Comments   +1 added lines, -1 removed lines patch added patch discarded remove patch
@@ -152,7 +152,7 @@
 block discarded – undo
152 152
      * Deletes a user on the panel, returns the number of records deleted.
153 153
      *
154 154
      * @param  int $id
155
-     * @return int
155
+     * @return boolean
156 156
      */
157 157
     public function delete($id)
158 158
     {
Please login to merge, or discard this patch.