tree 813ea8e9eb740b0e0bc1be58308e3e9dc34d445a
parent 9da5fcfb9d83b2ef79db9077642483681585bcbd
author Karsten Tausche <karsten@fairphone.com> 1698632860 +0800
committer Karsten Tausche <karsten@fairphone.com> 1698632861 +0800

fetch-and-push-remote: Extend sync parameters

* --source-fetch-all: Sync with `--current-branch` seems to be not
  always optimal when reusing one workspace for syncing different source
  trees. Allow fetching everything instead, it's expensive once but
  should speed up later sync jobs.
* --fetch-target-before-push: When pushing refs that are not known to
  the target Gerrit, but actually share significant history with other
  refs, then it fetching first speeds up the push a lot. On server side,
  pushing is much more expensive than fetching, and we don't want to
  block our shared Gerrits unnecessarily.

Change-Id: I9af3db2cd10a4dfd5027851d0346b02034b187b9