Gitea-Tools

735 Commits 48 Branches 1 Tag

2 Commits

Include renames

Author	SHA1	Message	Date
sysadmin	08ea214526	feat: guarded merger lease adoption flow (#536 ) Replace manual in-process _SESSION_LEASE seeding with an auditable gitea_adopt_merger_pr_lease tool that posts durable adoption proof and records sanctioned session provenance. Mutation gates now reject bare record_session_lease calls without provenance from acquire/adopt/heartbeat. Closes #536	2026-07-08 11:03:56 -04:00
sysadminandClaude Opus 4.8	06c2069234	feat: add per-PR reviewer leases for parallel review (Closes #407 ) Structured PR-thread leases with acquire/heartbeat MCP tools and mutation-time enforcement so reviewers cannot race the same PR queue. Co-Authored-By: Claude Opus 4.8 (1M context) <[email protected]>	2026-07-07 17:16:06 -04:00

Author

SHA1

Message

Date

sysadmin

08ea214526

feat: guarded merger lease adoption flow (#536 )

Replace manual in-process _SESSION_LEASE seeding with an auditable
gitea_adopt_merger_pr_lease tool that posts durable adoption proof and
records sanctioned session provenance. Mutation gates now reject bare
record_session_lease calls without provenance from acquire/adopt/heartbeat.

Closes #536

2026-07-08 11:03:56 -04:00

sysadminandClaude Opus 4.8

06c2069234

feat: add per-PR reviewer leases for parallel review (Closes #407 )

Structured PR-thread leases with acquire/heartbeat MCP tools and
mutation-time enforcement so reviewers cannot race the same PR queue.

Co-Authored-By: Claude Opus 4.8 (1M context) <[email protected]>

2026-07-07 17:16:06 -04:00