From 7cfabf053c324400dfc25af79360036a05f52896 Mon Sep 17 00:00:00 2001
From: Joseph Flinn <58369717+joseph-flinn@users.noreply.github.com>
Date: Wed, 22 Mar 2023 12:52:15 -0700
Subject: [PATCH] Rename 'master' docker tag to 'dev' (#5058)

---
 .github/workflows/build-web.yml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/.github/workflows/build-web.yml b/.github/workflows/build-web.yml
index 94f8056111..be59be4123 100644
--- a/.github/workflows/build-web.yml
+++ b/.github/workflows/build-web.yml
@@ -204,6 +204,10 @@ jobs:
             IMAGE_TAG=$(echo "${GITHUB_REF:11}" | sed "s#/#-#g")
           fi
 
+          if [[ "$IMAGE_TAG" == "master" ]]; then
+            IMAGE_TAG=dev
+          fi
+
           TAG_EXTENSION=${{ github.event.inputs.custom_tag_extension }}
 
           if [[ $TAG_EXTENSION ]]; then