Make sure the repo is clean before releasing.
Signed-off-by: Jacob Kiers <jacob@jacobkiers.net>
This commit is contained in:
parent
8e3b0a28e9
commit
5e9e061e4f
11
bin/release
11
bin/release
@ -32,6 +32,17 @@ if [ "$1" == "" ]; then
|
||||
exit 1
|
||||
fi
|
||||
|
||||
git pull
|
||||
|
||||
# Make sure all changes are merged.
|
||||
if [ $? -ne 0 ]; then
|
||||
error "Branch did not contain the latest changes and could not be merged automatically."
|
||||
echo "Please merge by hand before continue."
|
||||
echo
|
||||
git status
|
||||
exit 1
|
||||
fi
|
||||
|
||||
# Dirty repo?
|
||||
if [ "$(git status --porcelain 2>/dev/null)" ]; then
|
||||
error "Repo is dirty."
|
||||
|
Loading…
Reference in New Issue
Block a user