mirror of
https://git.notmuchmail.org/git/notmuch
synced 2024-11-25 04:18:08 +01:00
release-checks: check that git working directory is clean
Before release check that there are no uncommitted changes and that there are no files in working directory that possibly should have been added to the repository. Amended by db: remove --ignored, since that seems like too much trouble.
This commit is contained in:
parent
783a559968
commit
a5a21bbe78
1 changed files with 11 additions and 0 deletions
|
@ -59,6 +59,17 @@ readonly VERSION
|
|||
|
||||
# In the rest of this file, tests collect list of errors to be fixed
|
||||
|
||||
echo -n "Checking that git working directory is clean... "
|
||||
git_status=`git status --porcelain`
|
||||
if [ "$git_status" = '' ]
|
||||
then
|
||||
echo Yes.
|
||||
else
|
||||
echo No.
|
||||
append_emsg "Git working directory is not clean (git status --porcelain)."
|
||||
fi
|
||||
unset git_status
|
||||
|
||||
verfail ()
|
||||
{
|
||||
echo No.
|
||||
|
|
Loading…
Reference in a new issue