* admin/automerge: Quieten initial pull if start with reset.
commit8156e3f3e04e7f9ac1bb2b8acc58153cfaaab2c9
authorGlenn Morris <rgm@gnu.org>
Fri, 23 Feb 2018 17:52:11 +0000 (23 12:52 -0500)
committerGlenn Morris <rgm@gnu.org>
Fri, 23 Feb 2018 17:52:11 +0000 (23 12:52 -0500)
treef458d15c3f41ba26cf172384b9d0aad45c03d044
parent088b1b864c3e6f3962636f5c2308608d01097c39
* admin/automerge: Quieten initial pull if start with reset.
admin/automerge