Compare commits

..

No commits in common. "88e34750c9a875ccc763a237d31efa8f748b6ec5" and "a5e72f34214fa6f80c9ce253e2cbb185d9e8cabc" have entirely different histories.

1 changed files with 1 additions and 3 deletions

View File

@ -48,8 +48,7 @@ jobs:
CI_COMMIT_MESSAGE: converted to yml for review. CI_COMMIT_MESSAGE: converted to yml for review.
CI_COMMIT_AUTHOR: Continuous Integration CI_COMMIT_AUTHOR: Continuous Integration
run: | run: |
if [[ $(git branch -r | grep-Fx origin/${{ env.DEVELOPMENT_BRANCH }} | wc -c) -eq 0 ]]; then if [[ $(git branch -r | grep origin/${{ env.DEVELOPMENT_BRANCH }} | wc -c) -eq 0 ]]; then
echo 'there is no branch' origin/${{ env.DEVELOPMENT_BRANCH }};
git push origin HEAD:${{ env.DEVELOPMENT_BRANCH }}; git push origin HEAD:${{ env.DEVELOPMENT_BRANCH }};
curl https://dl.gitea.com/tea/0.9.2/tea-0.9.2-linux-386 --output tea; curl https://dl.gitea.com/tea/0.9.2/tea-0.9.2-linux-386 --output tea;
chmod +x ./tea; chmod +x ./tea;
@ -59,7 +58,6 @@ jobs:
fi fi
echo 'pushed new branch and created pr'; echo 'pushed new branch and created pr';
else else
echo 'there is a branch' origin/${{ env.DEVELOPMENT_BRANCH }};
if [[ $(git diff origin/${{ env.DEVELOPMENT_BRANCH }} | wc -c) -ne 0 ]]; then if [[ $(git diff origin/${{ env.DEVELOPMENT_BRANCH }} | wc -c) -ne 0 ]]; then
git push origin HEAD:${{ env.DEVELOPMENT_BRANCH }}; git push origin HEAD:${{ env.DEVELOPMENT_BRANCH }};
else else