From f379a9b97e3274f01ef66c8e9c962b72e7ec20c6 Mon Sep 17 00:00:00 2001
From: Garrone Joseph <joseph.garrone@ensimag.grenoble-inp.fr>
Date: Sat, 16 May 2020 23:09:30 +0200
Subject: [PATCH] Remove local 'latest' branch as well

---
 .github/workflows/publish.yaml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/publish.yaml b/.github/workflows/publish.yaml
index 3745266..5a52ff8 100644
--- a/.github/workflows/publish.yaml
+++ b/.github/workflows/publish.yaml
@@ -38,7 +38,9 @@ jobs:
     - uses: actions/checkout@v2
     - name: Remove branch 'latest' 
       continue-on-error: true
-      run: git push origin :latest
+      run: |
+        git branch -d latest || true
+        git push origin :latest
     - name: Create the new 'latest' branch
       run: |
         git branch latest