* admin/automerge: Disable rebasing.

This commit is contained in:
Glenn Morris 2018-01-24 14:44:39 -05:00
parent 96de0503cd
commit 686c83a473

View file

@ -181,10 +181,13 @@ echo "Tests finished ok"
## In case someone else pushed while we were working.
echo "Checking for remote changes..."
git fetch || die "fetch error"
#echo "Checking for remote changes..."
#git fetch || die "fetch error"
## NB If there were remote changes, this would rewrite the release
## branch commits, which is not what we want.
## Ref eg http://lists.gnu.org/r/emacs-devel/2014-12/msg01435.html
## git >= 1.8.5 has "pull --rebase=preserve"
git rebase --preserve-merges || die "rebase error"
#git rebase --preserve-merges || die "rebase error"
echo "Pushing..."