config: read both home and xdg files for --global
#1938
+128
−18
GitGitGadget / handle_pr_push
succeeded
Sep 25, 2025 in 20s
Handle PR push
Handling new commits in #1938
Details
This handles #1938, see https://github.com/gitgitgadget-workflows/gitgitgadget-workflows/actions/runs/18023641638 for details.
Loading