diff options
author | Franck Cuny <franck@fcuny.net> | 2022-06-10 13:53:14 -0700 |
---|---|---|
committer | Franck Cuny <franck@fcuny.net> | 2022-06-10 13:55:26 -0700 |
commit | 9c5763085dd5c951ab81b3d75558f62aa3363c77 (patch) | |
tree | 00e5128621e17ca18082a84877ed957d85a4a980 /home/documentation/default.nix | |
parent | ci(shellcheck): add a script to check shell scripts (diff) | |
download | world-9c5763085dd5c951ab81b3d75558f62aa3363c77.tar.gz |
fix(scripts): no need to create tags when deploying to fly.io
I don't need tags in this repository. There's no need to create them after a deploy. Before stopping the fly.io agent, checks that we're in the CI environment. Change-Id: I6208b70023c6ae74d58e535e24b44221956dbe63 Reviewed-on: https://cl.fcuny.net/c/world/+/408 Tested-by: CI Reviewed-by: Franck Cuny <franck@fcuny.net>
Diffstat (limited to 'home/documentation/default.nix')
0 files changed, 0 insertions, 0 deletions