diff options
author | Mike Frysinger <vapier@google.com> | 2019-09-23 17:42:23 -0400 |
---|---|---|
committer | Mike Frysinger <vapier@google.com> | 2019-11-13 20:29:33 +0000 |
commit | 2ba5a1e96347e735b12998c057a6c1eed79712e9 (patch) | |
tree | 54e676eeb3cbadd97c1a87659794c896df33890c /tests/test_editor.py | |
parent | 3538dd224d6d48c60b140103f25d94f0e5f76160 (diff) | |
download | git-repo-2ba5a1e96347e735b12998c057a6c1eed79712e9.tar.gz |
sync: try to fast forward merge branches before checking published state
If the local branch changed state since its last upload, the data
cached in .git/config related to the last uploaded CL might not be
that relevant. If we're able to fast forward merge to the latest
tree state, then let's do that. This would be akin to checking
out a detached head before syncing where we already switch state.
If we aren't able to fast forward merge, then it's not a big deal
as we'll continue on to the existing branch checking logic.
This would be easy to reproduce by doing something like:
$ repo start foo .
$ git revert HEAD
$ repo upload --cbr .
$ git reset --hard HEAD^
<CL is merged>
$ repo sync .
<we can fast forward>
Change-Id: I7d62f3d1ba5314a349d85b4dbb0ec8352eca18bb
Reviewed-on: https://gerrit-review.googlesource.com/c/git-repo/+/238552
Tested-by: Mike Frysinger <vapier@google.com>
Reviewed-by: Michael Mortensen <mmortensen@google.com>
Reviewed-by: Mike Frysinger <vapier@google.com>
Diffstat (limited to 'tests/test_editor.py')
0 files changed, 0 insertions, 0 deletions