repo_synchroniser: avoid non fast-forward and nothing changed issues (bug 1965991)#49

Draft

shtrom wants to merge 10 commits into

mainfrom

bug1963805/noop-on-ancestor-commit

Commits on May 12, 2025

Commits on May 13, 2025

fixup! repo_synchroniser: don't push commits to tip to avoid non fast-forward issues when reprocessing old messages
shtrom
committed
fixup! fixup! repo_synchroniser: don't push commits to tip to avoid non fast-forward issues when reprocessing old messages
shtrom
committed

Commits on May 14, 2025

fixup! fixup! fixup! repo_synchroniser: don't push commits to tip to avoid non fast-forward issues when reprocessing old messages
shtrom
committed

Commits on May 27, 2025

Update git_hg_sync/repo_synchronizer.py

shtrom
and
zzzeid
authored