Merge pull request 'A merge the forge announces is said in its log' (#126) from fix/a-merge-announced-is-said into main

2026-09-28 02:44:19 +00:00
parent 1c995fa9fc ac5630bee2
commit 719fb1e025
1 changed files with 3 additions and 0 deletions
@@ -96,6 +96,9 @@ async function pollMerged(client: GiteaClient): Promise<void> {
          clone_url: repo.clone_url,
          html_url: pull.html_url,
        });
+        // Said, because a trigger that fires silently is indistinguishable from one that did not
+        // fire (novox/hq 04-ISSUES/131) — this line is how an operator knows the mesh was told.
+        console.log(`[gitea] announced merge ${repo.full_name}#${pull.number} (${pull.merge_commit_sha.slice(0, 8)}) into ${pull.base}`);
      }
      announced.add(pull.merge_commit_sha);
      changed = true;