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 ( d01357...2837d4 )
by Borut
02:57
created
src/Application/Entity/UserEntity.php 1 patch
Doc Comments   +2 added lines, -2 removed lines patch added patch discarded remove patch
@@ -178,7 +178,7 @@  discard block
 block discarded – undo
178 178
     protected $credentialsExpired = false;
179 179
 
180 180
     /**
181
-     * @return void
181
+     * @return ProfileEntity
182 182
      */
183 183
     public function __construct()
184 184
     {
@@ -682,7 +682,7 @@  discard block
 block discarded – undo
682 682
 
683 683
     /*** Roles ***/
684 684
     /**
685
-     * @return array
685
+     * @return string[]
686 686
      */
687 687
     public function getRoles()
688 688
     {
Please login to merge, or discard this patch.