mirror of
https://github.com/zed-industries/zed.git
synced 2025-02-03 08:54:04 +00:00
Add a script for bumping the extension CLI (#9646)
This PR adds a script for bumping the extension CLI (thus kicking off a new build). Release Notes: - N/A
This commit is contained in:
parent
6f2f61c9b1
commit
20b88b6078
1 changed files with 7 additions and 0 deletions
7
script/bump-extension-cli
Executable file
7
script/bump-extension-cli
Executable file
|
@ -0,0 +1,7 @@
|
|||
#!/bin/bash
|
||||
|
||||
set -e
|
||||
|
||||
git pull --ff-only origin main
|
||||
git tag -f extension-cli
|
||||
git push -f origin extension-cli
|
Loading…
Reference in a new issue