mathias
0 Followers · 0 Following
  • Joined on 2026-03-27
Repositories
11
 Projects Packages Public Activity Starred Repositories
mathias deleted branch tbd/test-live-check-of-the-pr-merge-117adf21 from mathias/gitea-mcp 2026-10-08 06:20:32 +00:00
mathias closed pull request mathias/gitea-mcp#78 2026-10-08 06:20:31 +00:00
test: live check of the pr_merge risk gate (do not merge)
mathias created branch tbd/test-live-check-of-the-pr-merge-117adf21 in mathias/gitea-mcp 2026-10-08 06:19:21 +00:00
d369f2620f test: live check of the pr_merge risk gate (do not merge)
mathias created pull request mathias/gitea-mcp#78 2026-10-08 06:19:20 +00:00
test: live check of the pr_merge risk gate (do not merge)
mathias opened issue mathias/template-go-web#15 2026-10-08 06:18:58 +00:00
Confirm: does a generated repo go red from its first commit when no infra manifest exists yet?
mathias opened issue mathias/skills#54 2026-10-08 06:18:53 +00:00
Release-gate hook: creating a tag (git tag, tag_create, tbd_ship) must run the repo's own release gate
mathias pushed to main at mathias/gitea-mcp 2026-10-08 06:18:09 +00:00
d1e501cc64 feat(pr_merge): gate it like tbd_ship — green CI, unprotected base, exactly one risk/low issue (#74) (#76)
mathias merged pull request mathias/gitea-mcp#76 2026-10-08 06:18:07 +00:00
feat(pr_merge): gate it like tbd_ship — green CI, unprotected base, exactly one risk/low issue (#74)
mathias commented on pull request mathias/gitea-mcp#76 2026-10-08 06:16:32 +00:00
feat(pr_merge): gate it like tbd_ship — green CI, unprotected base, exactly one risk/low issue (#74)

Adversarial review verdict (gate code, local-dev rule 8): PASS at 3955758 (3 commits). Agent reviewer, not four-eyes; two rounds.

Round 1 BLOCK, fixed: a PR reporting an empty head.sha…

mathias pushed to wt/gate-pr-merge at mathias/gitea-mcp 2026-10-08 06:15:49 +00:00
3955758c24 fix(merge gate): an unknown head commit never merges; pr_merge refuses closed and draft PRs (review of PR #76)
mathias pushed to wt/gate-pr-merge at mathias/gitea-mcp 2026-10-08 06:12:47 +00:00
6efd309159 fix(merge gate): bind pr_merge and tbd_ship merges to the head commit the gate checked (TOCTOU)
mathias opened issue mathias/gitea-mcp#77 2026-10-08 06:12:45 +00:00
pr_merge sends merge_message_title, but Gitea's field is merge_title_field: a custom merge title is silently ignored
mathias created pull request mathias/gitea-mcp#76 2026-10-08 06:11:45 +00:00
feat(pr_merge): gate it like tbd_ship — green CI, unprotected base, exactly one risk/low issue (#74)
mathias created branch wt/gate-pr-merge in mathias/gitea-mcp 2026-10-08 06:11:42 +00:00
mathias pushed to wt/gate-pr-merge at mathias/gitea-mcp 2026-10-08 06:11:42 +00:00
c3d8401604 feat(pr_merge): gate it like tbd_ship — green CI, unprotected base, exactly one risk/low issue (gitea-mcp#74)
mathias deleted branch wt/risk-tier-gate from mathias/gitea-mcp 2026-10-08 06:06:45 +00:00
mathias commented on issue mathias/gitea-mcp#63 2026-10-08 06:05:48 +00:00
tbd_ship: gate auto-merge on the risk tier, and refuse when unclassified

Done and live 2026-10-08 (PR #73, squash d3faffc, tag v0.17.0). Mathias authorized the merge and deploy.

  • Reviewed: adversarial pass by execution (PASS, no bypass; 14 reviewer mutants, 12…
mathias closed issue mathias/gitea-mcp#63 2026-10-08 06:05:48 +00:00
tbd_ship: gate auto-merge on the risk tier, and refuse when unclassified