third-party/pre-commit
1
0
Fork 0
mirror of https://github.com/pre-commit/pre-commit.git synced 2026-02-17 08:14:42 +04:00
Code Issues Projects Releases Packages Wiki Activity Actions

Fix bug - pushing on an empty changeset

Browse source
This commit is contained in:
Barry Steyn 2015-10-08 11:26:18 -07:00
parent f71568aabb
commit e216b0b2cc
1 changed files with 7 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

6
pre_commit/resources/pre-push-tmpl
View file

@ -11,4 +11,10 @@ do
fi
done
if [ "args" != "" ]; then
args="$args --hook-stage push"
else
# If args is empty, then an attempt to push on an empty
# changeset is being made. In this case, just exit cleanly
exit 0
fi