Add GitHub upgrade script (#226)

This commit is contained in:
Chidi Williams 2022-12-09 08:14:02 +00:00 committed by GitHub
commit bc322714c9
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

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