]> git.notmuchmail.org Git - notmuch/commitdiff
build: push additional refs during release
authorDavid Bremner <david@tethera.net>
Sat, 28 Apr 2018 11:34:48 +0000 (08:34 -0300)
committerDavid Bremner <david@tethera.net>
Sat, 28 Apr 2018 11:34:48 +0000 (08:34 -0300)
These currently have to be pushed by hand during a release, which
isn't a big deal, but is one more thing to remember.


No differences found