diff options
| author | Glenn Morris | 2018-01-24 14:44:39 -0500 |
|---|---|---|
| committer | Glenn Morris | 2018-01-24 14:44:39 -0500 |
| commit | 686c83a473e4b235caac018aa0b61a5aad7c6a5b (patch) | |
| tree | 9749be082b8ed88061b067bf3a88782788d609f0 /admin | |
| parent | 96de0503cd04f3cba7c4db94789b958e9775e2c6 (diff) | |
| download | emacs-686c83a473e4b235caac018aa0b61a5aad7c6a5b.tar.gz emacs-686c83a473e4b235caac018aa0b61a5aad7c6a5b.zip | |
* admin/automerge: Disable rebasing.
Diffstat (limited to 'admin')
| -rwxr-xr-x | admin/automerge | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/admin/automerge b/admin/automerge index d96974ca562..54ac88db4ff 100755 --- a/admin/automerge +++ b/admin/automerge | |||
| @@ -181,10 +181,13 @@ echo "Tests finished ok" | |||
| 181 | 181 | ||
| 182 | 182 | ||
| 183 | ## In case someone else pushed while we were working. | 183 | ## In case someone else pushed while we were working. |
| 184 | echo "Checking for remote changes..." | 184 | #echo "Checking for remote changes..." |
| 185 | git fetch || die "fetch error" | 185 | #git fetch || die "fetch error" |
| 186 | ## NB If there were remote changes, this would rewrite the release | ||
| 187 | ## branch commits, which is not what we want. | ||
| 188 | ## Ref eg http://lists.gnu.org/r/emacs-devel/2014-12/msg01435.html | ||
| 186 | ## git >= 1.8.5 has "pull --rebase=preserve" | 189 | ## git >= 1.8.5 has "pull --rebase=preserve" |
| 187 | git rebase --preserve-merges || die "rebase error" | 190 | #git rebase --preserve-merges || die "rebase error" |
| 188 | 191 | ||
| 189 | 192 | ||
| 190 | echo "Pushing..." | 193 | echo "Pushing..." |