diff options
author | Glenn Morris <rgm@gnu.org> | 2015-01-02 17:30:52 -0800 |
---|---|---|
committer | Glenn Morris <rgm@gnu.org> | 2015-01-02 17:30:52 -0800 |
commit | e13e3bd819fca99c86ea6386b3351f45ac50cccd (patch) | |
tree | 0272e5b2a26d7c9d8dc408f3ef7e44208f7412e5 /admin | |
parent | 780eb0a732c849100236f22556fe9f4836c18ec5 (diff) |
* admin/update_autogen (commit): Prepend "# " to commit message.
Diffstat (limited to 'admin')
-rw-r--r-- | admin/ChangeLog | 4 | ||||
-rwxr-xr-x | admin/update_autogen | 2 |
2 files changed, 5 insertions, 1 deletions
diff --git a/admin/ChangeLog b/admin/ChangeLog index 6e034f29a4a..b1d8ed858da 100644 --- a/admin/ChangeLog +++ b/admin/ChangeLog @@ -1,3 +1,7 @@ +2015-01-03 Glenn Morris <rgm@gnu.org> + + * update_autogen (commit): Prepend "# " to commit message. + 2014-11-19 Paul Eggert <eggert@cs.ucla.edu> Lessen focus on ChangeLog files, as opposed to change log entries. diff --git a/admin/update_autogen b/admin/update_autogen index ad7eb5735cf..0513d078db1 100755 --- a/admin/update_autogen +++ b/admin/update_autogen @@ -228,7 +228,7 @@ commit () echo "Committing..." - $vcs commit -m "Auto-commit of $type files." "$@" || return $? + $vcs commit -m "# Auto-commit of $type files." "$@" || return $? [ "$vcs" = "git" ] && { $vcs push || return $? |