[PATCH] release-checks: check that git working directory is clean

David Bremner david at tethera.net
Tue Jun 9 10:35:59 PDT 2015


Tomi Ollila <tomi.ollila at iki.fi> writes:

> Before release check that there are no uncommitted changes and
> that there are no files in working directory that possibly shoul

pushed, amended as suggested by Tomi on IRC s/--ignored//g


More information about the notmuch mailing list