git-add: Skip submodules with ignore=all unless --force and explicit path used #1987
GitGitGadget / handle_pr_comment
succeeded
Feb 6, 2026 in 1m 33s
Handle PR comment
Handling PR comment #1987 (comment)
Details
This handles #1987 (comment), see https://github.com/gitgitgadget-workflows/gitgitgadget-workflows/actions/runs/21752058065 for details.
Loading