diff --git a/tools/git_merge.sh b/tools/git_merge.sh new file mode 100755 index 0000000..2450726 --- /dev/null +++ b/tools/git_merge.sh @@ -0,0 +1,7 @@ +if [[ $1 -eq "" ]]; then + echo "Blank argument." + exit +fi + +echo "Applying PR #$1 (https://github.com/pyrite-dev/milsko/pull/$1.diff)" +curl https://github.com/pyrite-dev/milsko/pull/$1.diff -L | patch -p1