From bc322714c9f34fb14af7a741d6412372773236fe Mon Sep 17 00:00:00 2001 From: Chidi Williams Date: Fri, 9 Dec 2022 08:14:02 +0000 Subject: [PATCH] Add GitHub upgrade script (#226) --- Makefile | 12 ++++++++++++ 1 file changed, 12 insertions(+) diff --git a/Makefile b/Makefile index b6961824..5818d425 100644 --- 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