mirror of
https://github.com/encounter/zed.git
synced 2026-03-30 11:44:33 -07:00
Marshall Bowers
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
|