Compare commits

..

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

1 changed files with 3 additions and 1 deletions

View File

@ -49,6 +49,7 @@ jobs:
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-Fx 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;
@ -58,6 +59,7 @@ 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