diff --git a/backport.sh b/backport.sh new file mode 100755 index 0000000000000000000000000000000000000000..dc640633b358dac3835a3f151fb0d5ab73517b26 --- /dev/null +++ b/backport.sh @@ -0,0 +1,4 @@ +git reset HEAD~1 +rm ./backport.sh +git cherry-pick a223f819c72efd718e86e1267c3bed8ead447105 +echo 'Resolve conflicts and force push this branch'