mirror of
https://github.com/zed-industries/zed.git
synced 2024-11-08 07:35:01 +03:00
7b9d51929d
After this change we'll be able to push a tag to github to deploy to collab. The advantages of this are that there's no longer a separate step to first build the image, and then deploy it. In the future I'd like to make this happen more automatically (maybe as part of bump nightly). Release Notes: - N/A
22 lines
413 B
Bash
Executable File
22 lines
413 B
Bash
Executable File
#!/bin/bash
|
|
|
|
set -eu
|
|
source script/lib/deploy-helpers.sh
|
|
|
|
if [[ $# != 1 ]]; then
|
|
echo "Usage: $0 <production|staging>"
|
|
exit 1
|
|
fi
|
|
environment=$1
|
|
tag="$(tag_for_environment $environment)"
|
|
|
|
branch=$(git rev-parse --abbrev-ref HEAD)
|
|
if [ "$branch" != "main" ]; then
|
|
echo "You must be on main to run this script"
|
|
exit 1
|
|
fi
|
|
|
|
echo git pull --ff-only origin main
|
|
echo git tag -f $tag
|
|
echo git push -f origin $tag
|