From 69e569b3c10dc35d6dbe7b6bb205fc841587a1e4 Mon Sep 17 00:00:00 2001 From: blag Date: Tue, 20 Oct 2020 18:39:40 -0700 Subject: [PATCH] Add TODO for improving the vagrant_tag_release action --- actions/vagrant_tag_release.sh | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/actions/vagrant_tag_release.sh b/actions/vagrant_tag_release.sh index d2e032de..b6ad91c3 100755 --- a/actions/vagrant_tag_release.sh +++ b/actions/vagrant_tag_release.sh @@ -60,6 +60,10 @@ if [[ -z "${TAGGED}" ]]; then git tag -a ${TAGGED_VERSION} -m "Creating tag ${TAGGED_VERSION} for branch ${BRANCH}" git push origin ${TAGGED_VERSION} -q else + # TODO: Have this script figure out if the new tag is pointing to the same + # commit as the old tag. If they're pointing to the same commit, + # nothing needs to be done. If they're pointing to different commits, + # then we should update the existing tag to point to the newer commit. echo "Tag ${TAGGED_VERSION} already exists." fi