replace pr tag with latest on merge

rob93c · Oct 15, 2023 · a6f0aa1 · a6f0aa1
1 parent d178490
commit a6f0aa1
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/.github/workflows/docker-image.yml b/.github/workflows/docker-image.yml
@@ -53,5 +53,7 @@ jobs:
         if: github.event.pull_request.merged
         run: |
           tag_to_delete="pr-${{ github.event.pull_request.number }}"
-          docker rmi rob93c/christmas-greeter:$tag_to_delete
+          docker pull rob93c/christmas-greeter:$tag_to_delete
+          docker tag rob93c/christmas-greeter:$tag_to_delete rob93c/christmas-greeter:latest
+          docker push rob93c/christmas-greeter:latest
           echo "The tag $tag_to_delete has been deleted"