From ef69397ae40d6dc4abe6caeab3949ec8ff7e8936 Mon Sep 17 00:00:00 2001 From: giles Date: Mon, 23 Oct 2023 12:16:51 +0100 Subject: [PATCH] ..... --- .gitea/workflows/build->develop.yml | 22 ++++++++++++++++++++-- 1 file changed, 20 insertions(+), 2 deletions(-) diff --git a/.gitea/workflows/build->develop.yml b/.gitea/workflows/build->develop.yml index 688b845..11ee189 100644 --- a/.gitea/workflows/build->develop.yml +++ b/.gitea/workflows/build->develop.yml @@ -60,8 +60,26 @@ jobs: fi echo 'pushed new branch and created pr'; else - if [[ $(git diff origin/${{ env.DEVELOPMENT_BRANCH }} | wc -c) -ne 0 ]]; then - git push -f origin HEAD:${{ env.DEVELOPMENT_BRANCH }}; + if [[ $(git diff origin/${{ env.DEVELOPMENT_BRANCH }} | wc -c) -ne 0 ]]; then + + + git clone ${{ github.serverUrl }}/${{ github.repository }} ../cloned + git -C ../cloned fetch origin #--depth=1 + git -C ../cloned branch -r + git -C ../cloned checkout $DEVELOPMENT_BRANCH || git -C ../cloned checkout -b $DEVELOPMENT_BRANCH + mv ../cloned/.git .. + rm -rf ../cloned + cp -r . ../cloned + rm -rf ../cloned/.git + mv ../.git ../cloned + mv .git/config ../cloned/.git + rm -r ./* + rm -r .git + mv ../cloned/* . + mv ../cloned/.git . + git status + + git push origin HEAD:${{ env.DEVELOPMENT_BRANCH }}; else echo 'no changes so no push' fi;