Fix Opening

This commit is contained in:
Filip Gralinski 2021-09-22 15:12:20 +02:00
parent 437368998b
commit 725b9d6f50

View File

@ -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