diff --git a/private_dot_local/scripts/executable_checkout-pr.sh b/private_dot_local/scripts/executable_checkout-pr.sh new file mode 100644 index 0000000..3d6977e --- /dev/null +++ b/private_dot_local/scripts/executable_checkout-pr.sh @@ -0,0 +1,4 @@ +#!/bin/bash + +git fetch $1 pull/$2/head:pull-request-$2 +git checkout pull-request-$2