From afbe5db933beaaac7462953783b68c801dcc0b4c Mon Sep 17 00:00:00 2001 From: paulzierep Date: Thu, 7 Dec 2023 15:56:23 +0100 Subject: [PATCH] force push --- .github/workflows/fetch_all_tools.yaml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/fetch_all_tools.yaml b/.github/workflows/fetch_all_tools.yaml index 33130822..14af3e81 100644 --- a/.github/workflows/fetch_all_tools.yaml +++ b/.github/workflows/fetch_all_tools.yaml @@ -44,7 +44,7 @@ jobs: git config user.name github-actions git config user.email github-actions@github.com git diff --quiet || (git add results && git commit -m "fetch all tools bot - step collect") - git push + git push -f fetch-all-tools-merge: runs-on: ubuntu-20.04 needs: fetch-all-tools-stepwise @@ -63,4 +63,4 @@ jobs: git config user.name github-actions git config user.email github-actions@github.com git diff --quiet || (git add results && git commit -m "fetch all tools bot - step merge") - git push \ No newline at end of file + git push -f \ No newline at end of file