Add GitHub upgrade script (chidiwilliams#226)

chen288 · Dec 9, 2022 · bc32271 · bc32271
1 parent c7f9b2e
commit bc32271
Showing 1 changed file with 12 additions and 0 deletions.
diff --git a/Makefile b/Makefile
@@ -150,3 +150,15 @@ ggml:
 
 upload_brew:
 	brew bump-cask-pr --version ${version} buzz
+
+gh_upgrade_pr:
+	git checkout main && git pull
+	git checkout -b upgrade-to-${version}
+
+	make version version=${version}
+
+	git commit -am "Upgrade to ${version}"
+	git push --set-upstream origin upgrade-to-${version}
+
+	gh pr create --fill
+	gh pr merge upgrade-to-${version} --auto --squash