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

[David Bremner]

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