diff --git a/bin/gpr b/bin/gpr index 725f6a9..61e8ff7 100755 --- a/bin/gpr +++ b/bin/gpr @@ -1,5 +1,6 @@ #!/bin/sh +set -e # github pr helper # push current branch to ORIGIN and create a PR on UPSTREAM # UPSTREAM must be a https github url