From 725b9d6f501f65c16675e6f396529b77af3e8a36 Mon Sep 17 00:00:00 2001
From: Filip Gralinski <filipg@amu.edu.pl>
Date: Wed, 22 Sep 2021 15:12:20 +0200
Subject: [PATCH] Fix Opening

---
 Handler/MakePublic.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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