convience script for merging PRs from the git repo to svn

git-svn-id: http://svn2.nishi.boats/svn/milsko/trunk@436 b9cfdab3-6d41-4d17-bbe4-086880011989
This commit is contained in:
IoIxD
2025-10-20 22:04:44 +00:00
parent 39f4e355f4
commit d7234d3a11

7
tools/git_merge.sh Executable file
View File

@@ -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