mirror of
https://github.com/zed-industries/zed.git
synced 2026-05-31 19:05:00 +07:00
parent
8c9b42dda8
commit
1bb6752e3e
2 changed files with 4 additions and 4 deletions
|
|
@ -19,10 +19,10 @@ major=$(echo $version | cut -d. -f1)
|
|||
minor=$(echo $version | cut -d. -f2)
|
||||
next_minor=$(expr $minor + 1)
|
||||
|
||||
next_minor_branch_name="gpui-v${major}.${next_minor}.0"
|
||||
next_minor_branch_name="bump-gpui-to-v${major}.${next_minor}.0"
|
||||
|
||||
git checkout -b ${next_minor_branch_name}
|
||||
|
||||
script/lib/bump-version.sh gpui v "-gpui" minor true
|
||||
script/lib/bump-version.sh gpui gpui-v "" minor true
|
||||
|
||||
git checkout -q main
|
||||
|
|
|
|||
|
|
@ -30,9 +30,9 @@ if [[ "$gpui_release" == "true" ]]; then
|
|||
cat <<MESSAGE
|
||||
Locally committed and tagged ${package} version ${new_version}
|
||||
|
||||
To push this (don't forget to open a PR!):
|
||||
To push this:
|
||||
|
||||
git push origin ${tag_name}; gh pr create -H ${branch_name}
|
||||
git push origin ${tag_name} ${branch_name}; gh pr create -H ${branch_name}
|
||||
|
||||
To undo this:
|
||||
|
||||
|
|
|
|||
Loading…
Reference in a new issue