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 ( e4ee4d...75c8b5 )
by Andrei
13s queued 11s
created
src/Models/Revision.php 1 patch
Doc Comments   +1 added lines, -1 removed lines patch added patch discarded remove patch
@@ -65,7 +65,7 @@
 block discarded – undo
65 65
      * Filter the query by the given user id.
66 66
      *
67 67
      * @param Builder $query
68
-     * @param Authenticatable|int $user
68
+     * @param Authenticatable $user
69 69
      */
70 70
     public function scopeWhereUser($query, Authenticatable $user): void
71 71
     {
Please login to merge, or discard this patch.
src/Traits/HasRevisions.php 1 patch
Doc Comments   +1 added lines, -1 removed lines patch added patch discarded remove patch
@@ -58,7 +58,7 @@
 block discarded – undo
58 58
     /**
59 59
      * Register a revisioning model event with the dispatcher.
60 60
      *
61
-     * @param Closure|string $callback
61
+     * @param Closure $callback
62 62
      * @return void
63 63
      */
64 64
     public static function revisioning($callback): void
Please login to merge, or discard this patch.