Skip to content

Instantly share code, notes, and snippets.

@johannesjo
Last active November 18, 2019 14:32
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save johannesjo/048bd46a47723f109b4a0d059e3200bf to your computer and use it in GitHub Desktop.
Save johannesjo/048bd46a47723f109b4a0d059e3200bf to your computer and use it in GitHub Desktop.
Prevent git push to master locally
#!/bin/bash
protected_branch='master'
current_branch=$(git symbolic-ref HEAD | sed -e 's,.*/\(.*\),\1,')
if [ $protected_branch = $current_branch ]
then
read -p "You're about to push $protected_branch, is that what you intended? [y|n] " -n 1 -r < /dev/tty
echo
if echo $REPLY | grep -E '^[Yy]$' > /dev/null
then
exit 0 # push will execute
fi
exit 1 # push will not execute
else
exit 0 # push will execute
fi
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment