mirror of
https://github.com/zed-industries/zed.git
synced 2024-12-26 23:22:41 +03:00
20b88b6078
This PR adds a script for bumping the extension CLI (thus kicking off a new build). Release Notes: - N/A
8 lines
110 B
Bash
Executable File
8 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
|