martin/emacs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

; * admin/automerge: Tweak previous NEWS fix

Browse Source
This commit is contained in:
Glenn Morris
2018-10-25 22:08:12 -07:00
parent 3575dd8e8c
commit d404bb5bee
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
admin/automerge
View File

@@ -176,8 +176,8 @@ merge
## FIXME it would be better to trap this in gitmerge.
## NEWS should never be modified, only eg NEWS.26.
git diff --stat --cached origin/master | grep -q "NEWS " && \
die "NEWS has been modified"
git diff --stat --cached origin/master | grep -q "etc/NEWS " && \
die "etc/NEWS has been modified"
[ "$build" ] || exit 0