mirror of
https://github.com/encounter/zed.git
synced 2026-07-11 06:19:04 -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
|