Consolidate the `sync-*` workflows#12

Merged

dscho merged 6 commits intomainfrom

consolidate-sync-branches-workflows

Sep 5, 2025

Commits on Aug 29, 2025

sync-git-gui: rename it, to form the basis of a generic workflow
dscho
committed