diff --git a/Handler/MakePublic.hs b/Handler/MakePublic.hs
index deddf60..7c5704b 100644
--- a/Handler/MakePublic.hs
+++ b/Handler/MakePublic.hs
@@ -57,5 +57,5 @@ pushRepo repoDir commit targetRepoUrl targetBranchName chan = do
 
 checkWhetherUserRepo :: SubmissionId -> Handler Bool
 checkWhetherUserRepo submissionId = do
-  userId <- requireAuthId
+  Entity userId _ <- requireAuthPossiblyByToken
   runDB $ checkWhetherGivenUserRepo userId submissionId