chore: Remove python happy and references to it (#315)

chanzuckerberg · Jul 27, 2022 · 7d60bd0 · 7d60bd0
1 parent acd8932
commit 7d60bd0
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1,301 deletions.
diff --git a/.github/workflows/push-rdev.yml b/.github/workflows/push-rdev.yml
@@ -46,4 +46,4 @@ jobs:
           DOCKER_TAG=${DOCKER_TAG#refs/tags/}
            # replace `/` with `_`
           DOCKER_TAG=${DOCKER_TAG//\//-}        
-          happy push --aws-profile "" --tag sha-${GITHUB_SHA:0:8} --tag ${DOCKER_TAG}
+          happy push --aws-profile "" --tag sha-${GITHUB_SHA:0:8} --tag ${DOCKER_TAG}