diff options
| -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..." |