Commit Graph
1 Commits
Author SHA1 Message Date
sysadmin 38ddc1f756 Fix #718: Implement gitea_acquire_merger_pr_lease
This implements the native merger lease acquisition tool to allow a merger session to acquire its own lease when a reviewer lease does not exist or has expired, unblocking #679 adoption.
2026-07-17 01:18:25 -04:00