git-push-pr
git-push-pr copied to clipboard
Handle script terminations using e.g. ctrl + c