From 6f2ea867522be5ad6c5f2c8ea06006d95b1416e2 Mon Sep 17 00:00:00 2001
From: Gerwin Klein <gerwin.klein@proofcraft.systems>
Date: Tue, 6 Jun 2023 10:10:22 +1000
Subject: [PATCH] github: push to -rebased branch first

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
---
 .github/workflows/proof-deploy.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/proof-deploy.yml b/.github/workflows/proof-deploy.yml
index 9c1852bc5..4a6afe1f2 100644
--- a/.github/workflows/proof-deploy.yml
+++ b/.github/workflows/proof-deploy.yml
@@ -101,4 +101,4 @@ jobs:
     - name: Push
       run: |
         cd l4v-${{ matrix.branch }}
-        git push -f origin HEAD:${{ matrix.branch }}
+        git push -f origin HEAD:${{ matrix.branch }}-rebased