git-add : Respect submodule ignore=all and only add changes with --force <path> #1987
GitGitGadget / handle_pr_push
succeeded
Oct 19, 2025 in 20s
Handle PR push
Handling new commits in #1987
Details
This handles #1987, see https://github.com/gitgitgadget-workflows/gitgitgadget-workflows/actions/runs/18628211714 for details.
Loading