mirror of
https://github.com/zed-industries/zed.git
synced 2024-12-27 19:02:07 +00:00
20b88b6078
This PR adds a script for bumping the extension CLI (thus kicking off a new build). Release Notes: - N/A
7 lines
110 B
Bash
Executable file
7 lines
110 B
Bash
Executable file
#!/bin/bash
|
|
|
|
set -e
|
|
|
|
git pull --ff-only origin main
|
|
git tag -f extension-cli
|
|
git push -f origin extension-cli
|