Add script to fetch pull request

gautamjajoo · May 26, 2018 · a96fc3f · a96fc3f
1 parent 82dc856
commit a96fc3f
Showing 1 changed file with 13 additions and 0 deletions.
diff --git a/scripts/tools/fetch_pull_request b/scripts/tools/fetch_pull_request
@@ -0,0 +1,13 @@
+#!/bin/bash
+if [ "$1" == "--help" ]; then
+    printf "Usage: fetch-pull-request [--help] pull_request_id [remote=origin] \n\n Locally fetch a pull request and test it. \n Remote is set to origin by default.\n"
+    exit 1
+elif [ $# -eq 0 ]; then
+    echo "Pull request id not given."
+    exit 1
+else
+    set -e -x
+    remote=${2:-origin}
+    git branch -D review-$1 || git fetch $remote pull/$1/head:review-$1
+    git checkout review-$1
+fi