Refactor src folder (#362)

This PR is a pure refactor of the code in the src directory.

The main goal is to reorganize the structure in preparation for adding
support for configuring the bot using TOML files.
```
src/
 |--- actions/
 |--- ci/
 |--- config/
 |--- utils/
 |--- webhooks/
 |--- bot.ml
 |--- dune
```

Author: lykimq

bot-components/Git_utils.ml

@@ -139,3 +139,16 @@ let%expect_test "http_repo_url_parsing_example_from_gitlab_docs" =
     {|
   GitLab domain: "gitlab.example.com"
   GitLab repository full name: "gitlab-org/gitlab-test" |}]
+
+let init_git_bare_repository ~bot_info =
+  let* () = Lwt_io.printl "Initializing repository..." in
+  let github_token = Bot_info.github_token bot_info in
+  "git init --bare"
+  |&& f {|git config user.email "%s"|} bot_info.email
+  |&& f {|git config user.name "%s"|} bot_info.github_name
+  |> execute_cmd ~mask:[github_token]
+  >>= function
+  | Ok _ ->
+      Lwt_io.printl "Bare repository initialized."
+  | Error e ->
+      Lwt_io.printlf "Error while initializing bare repository: %s." e

bot-components/Git_utils.mli

@@ -28,3 +28,5 @@ val pr_from_branch : string -> int option * string
 
 val parse_gitlab_repo_url :
   http_repo_url:string -> (string * string, string) result
+
+val init_git_bare_repository : bot_info:Bot_info.t -> unit Lwt.t

src/actions_backport.ml src/actions/backport.mlsrc/actions_backport.ml renamed to src/actions/backport.ml

@@ -0,0 +1,6 @@
+(library
+ (name actions)
+ (public_name coq-bot.actions)
+ (libraries base bot-components coq-bot.config coq-bot.utils coq-bot.ci)
+ (wrapped false)
+ (modules backport job pr_sync))

src/actions_backport.mli src/actions/backport.mlisrc/actions_backport.mli renamed to src/actions/backport.mli

@@ -25,18 +25,18 @@ let job_action ~bot_info
       in
       match (github_repo_full_name, job_info.build_name) with
       | "rocq-prover/rocq", "bench" ->
-          Bench_utils.update_bench_status ~bot_info ~job_info
-            (gh_owner, gh_repo) ~external_id ~number:pr_num
+          Bench.update_bench_status ~bot_info ~job_info (gh_owner, gh_repo)
+            ~external_id ~number:pr_num
       | _, _ -> (
         match job_info.build_status with
         | "failed" ->
             let failure_reason = Option.value_exn job_info.failure_reason in
             let summary_builder, allow_failure_handler =
               if String.equal github_repo_full_name "rocq-prover/rocq" then
-                ( Ci_job_status_rocq.rocq_summary_builder
+                ( Job_status_rocq.rocq_summary_builder
                 , fun ~bot_info ~job_name ~job_url ~pr_num ~head_commit
                       (gh_owner, gh_repo) ~gitlab_repo_full_name ->
-                    Ci_job_status_rocq.handle_rocq_allow_failure ~bot_info
+                    Job_status_rocq.handle_rocq_allow_failure ~bot_info
                       ~job_name ~job_url ~pr_num ~head_commit
                       (gh_owner, gh_repo) ~gitlab_repo_full_name )
               else
@@ -46,18 +46,18 @@ let job_action ~bot_info
                       ~head_commit:_ _ ~gitlab_repo_full_name:_ ->
                     Lwt.return_unit )
             in
-            Ci_job_status.job_failure ~bot_info job_info ~pr_num
+            Job_status.job_failure ~bot_info job_info ~pr_num
               (gh_owner, gh_repo) ~gitlab_domain ~gitlab_repo_full_name ~context
               ~failure_reason ~external_id ~summary_builder
               ~allow_failure_handler ()
         | "success" as state ->
-            Ci_job_status.job_success_or_pending ~bot_info (gh_owner, gh_repo)
+            Job_status.job_success_or_pending ~bot_info (gh_owner, gh_repo)
               job_info ~gitlab_domain ~gitlab_repo_full_name ~context ~state
               ~external_id
-            <&> Ci_documentation.send_doc_url ~bot_info job_info
+            <&> Documentation.send_doc_url ~bot_info job_info
                   ~github_repo_full_name
         | ("created" | "running") as state ->
-            Ci_job_status.job_success_or_pending ~bot_info (gh_owner, gh_repo)
+            Job_status.job_success_or_pending ~bot_info (gh_owner, gh_repo)
               job_info ~gitlab_domain ~gitlab_repo_full_name ~context ~state
               ~external_id
         | "cancelled" | "canceled" | "pending" ->

src/actions/dune

@@ -46,19 +46,18 @@ let callback _conn req body =
   (* print_endline "Request received."; *)
   match path with
   | "/job" | "/pipeline" (* legacy endpoints *) | "/gitlab" ->
-      Webhook_gitlab.handle_gitlab_webhook ~bot_info ~key ~app_id
-        ~gitlab_mapping ~gitlab_webhook_secret ~headers:(Request.headers req)
-        ~body
+      Gitlab.handle_gitlab_webhook ~bot_info ~key ~app_id ~gitlab_mapping
+        ~gitlab_webhook_secret ~headers:(Request.headers req) ~body
   | "/push" | "/pull_request" (* legacy endpoints *) | "/github" ->
-      Webhook_github.handle_github_webhook ~bot_info ~key ~app_id
-        ~github_bot_name ~gitlab_mapping ~github_mapping ~github_webhook_secret
+      Github.handle_github_webhook ~bot_info ~key ~app_id ~github_bot_name
+        ~gitlab_mapping ~github_mapping ~github_webhook_secret
         ~headers:(Request.headers req) ~body ~minimize_text_of_body
         ~ci_minimize_text_of_body ~resume_ci_minimize_text_of_body
   | "/coq-bug-minimizer" | "/ci-minimization" | "/resume-ci-minimization" ->
-      Webhook_minimizer.handle_minimizer_webhook ~bot_info ~key ~app_id
-        ~endpoint:path ~body
+      Minimizer.handle_minimizer_webhook ~bot_info ~key ~app_id ~endpoint:path
+        ~body
   | "/check-stale-pr" ->
-      Webhook_scheduled.handle_stale_pr_check ~bot_info ~key ~app_id
+      Scheduled.handle_stale_pr_check ~bot_info ~key ~app_id
         ~daily_schedule_secret ~body
   | _ ->
       Server.respond_not_found ()