From efbd2c5c6810e2e12a97136df0af53a6da503436 Mon Sep 17 00:00:00 2001
From: Florent Huck <flovntp@gmail.com>
Date: Thu, 8 Feb 2024 14:23:18 +0100
Subject: [PATCH] adding push force

---
 .github/workflows/generate-cli-commands-page.yaml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/generate-cli-commands-page.yaml b/.github/workflows/generate-cli-commands-page.yaml
index 1dd6266527..d8e4076f0c 100644
--- a/.github/workflows/generate-cli-commands-page.yaml
+++ b/.github/workflows/generate-cli-commands-page.yaml
@@ -60,5 +60,5 @@ jobs:
           cat platform-commands.html
 
           echo "Pushing most recent changes"
-          #git push --force origin ${{ env.BRANCH_TITLE }}
+          git push --force origin ${{ env.BRANCH_TITLE }}