From e9760db0dd67e3b97cfe42ec93d351056089abd2 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Th=C3=A9o=20Zimmermann?= Date: Fri, 6 Oct 2023 18:29:51 +0200 Subject: [PATCH] Fix parentheses leading to running the mirror action before the git repo is initialized. --- src/bot.ml | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/src/bot.ml b/src/bot.ml index 99f5b81e..b2f3b884 100644 --- a/src/bot.ml +++ b/src/bot.ml @@ -204,10 +204,9 @@ let callback _conn req body = {owner= "coq"; repo= "coq"; base_ref; head_sha; commits_msg} ) -> (fun () -> init_git_bare_repository ~bot_info - >>= (fun () -> - action_as_github_app ~bot_info ~key ~app_id ~owner:"coq" - ~repo:"coq" - (coq_push_action ~base_ref ~commits_msg) ) + >>= fun () -> + action_as_github_app ~bot_info ~key ~app_id ~owner:"coq" ~repo:"coq" + (coq_push_action ~base_ref ~commits_msg) <&> action_as_github_app ~bot_info ~key ~app_id ~owner:"coq" ~repo:"coq" (mirror_action ~gitlab_domain:"gitlab.inria.fr" ~owner:"coq"