lockfile: add holder info file for debugging stale locks #2011
GitGitGadget / handle_pr_push
succeeded
Dec 17, 2025 in 20s
Handle PR push
Handling new commits in #2011
Details
This handles #2011, see https://github.com/gitgitgadget-workflows/gitgitgadget-workflows/actions/runs/20305593593 for details.
Loading