diff --git a/.githooks/post-push b/.githooks/post-push index 15a8ae7..bdc1ce0 100755 --- a/.githooks/post-push +++ b/.githooks/post-push @@ -1,5 +1,7 @@ #!/bin/sh branch=$(git rev-parse --abbrev-ref HEAD) +set -euo pipefail +set -x for remote in $(git remote); do git push "$remote" "$branch" done