gitk: use headoutlinecolor, headbgcolor, and tagfgcolor config settings to change the color of the tags and head outlines and fill #2030
+7
−4
GitGitGadget / handle_pr_push
succeeded
Jan 15, 2026 in 43s
Handle PR push
Handling new commits in #2030
Details
This handles #2030, see https://github.com/gitgitgadget-workflows/gitgitgadget-workflows/actions/runs/21021333115 for details.
Loading