From 1b44fd3c1ba18502ec1f2f95eceae6117ffcf822 Mon Sep 17 00:00:00 2001
From: Aikar <aikar@aikar.co>
Date: Sat, 22 Sep 2018 23:32:22 -0400
Subject: [PATCH] [CI-SKIP] Add copy of my checkout-pr script for other team
 members

---
 scripts/checkoutpr.sh | 37 +++++++++++++++++++++++++++++++++++++
 1 file changed, 37 insertions(+)
 create mode 100755 scripts/checkoutpr.sh

diff --git a/scripts/checkoutpr.sh b/scripts/checkoutpr.sh
new file mode 100755
index 0000000000..1328eb5829
--- /dev/null
+++ b/scripts/checkoutpr.sh
@@ -0,0 +1,37 @@
+#!/bin/bash
+if [ -z "$1" ]; then
+	echo "$0 <prID>"
+	exit 1;
+fi
+data=$(curl -q https://api.github.com/repos/PaperMC/Paper/pulls/$1 2>/dev/null)
+url=$(echo -e "$data" | grep --color=none ssh_url | head -n 1 |awk '{print $2}' | sed 's/"//g' | sed 's/,//g')
+ref=$(echo -e "$data" | grep --color=none '"head":' -A 3 | grep ref | head -n 1 |awk '{print $2}' | sed 's/"//g' | sed 's/,//g')
+prevbranch=$(\git branch --no-color 2> /dev/null | sed -e '/^[^*]/d' -e 's/* \(.*\)/\1/')
+branch="pr/$1"
+up="pr-$1"
+git remote remove $up 2>&1 1>/dev/null
+git remote add -f $up $url
+git branch -D $branch 2>/dev/null 1>&2
+git checkout -b $branch $up/$ref 2>/dev/null|| true
+echo "Merging $prevbranch into $branch"
+git fetch origin
+git merge origin/$prevbranch
+
+echo "Dropping to new shell, exit to delete the refs"
+bash -i
+
+read -p "Press 'p' to push. " -n 1 -r >&2
+echo
+if [[ "d$REPLY" =~ ^d[Pp]$ ]]; then
+	git push $up $branch:$ref -f
+
+	echo "Pushed" >&2
+fi
+
+echo "Deleting branch/upstream"
+git checkout $prevbranch
+git branch -D $branch
+git remote remove $up
+git gc
+#git branch -u $up/$ref $branch
+#git checkout $branch
\ No newline at end of file