another-user
/
batch-example
1
0
Fork 0
Code Issues Pull Requests 1 Actions Packages Projects Releases 143 Wiki Activity

kjhgfdsa
convert-to-yml / develop-branch (push) Failing after 30s Details

This commit is contained in:
giles 2023-10-23 10:18:34 +01:00
parent a040a3589d
commit 84bc2f8cb3
1 changed files with 7 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
.gitea/workflows/build->develop.yml
View File

@ -50,7 +50,13 @@ jobs:
run: | run: |
if [[ $(git branch -r | grep origin/${{ env.DEVELOPMENT_BRANCH }} | wc -c) -eq 0 ]]; then if [[ $(git branch -r | grep origin/${{ env.DEVELOPMENT_BRANCH }} | wc -c) -eq 0 ]]; then
git push origin HEAD:origin/${{ env.DEVELOPMENT_BRANCH }}; git push origin HEAD:origin/${{ env.DEVELOPMENT_BRANCH }};
echo 'pushed new branch'; curl https://dl.gitea.com/tea/0.9.2/tea-0.9.2-linux-386 --output tea;
chmod +x ./tea;
./tea login add -n=this --url=${{ github.server_url}} -t=${{ secrets.BOT_TOKEN }};
if [[ $(./tea pr ls -f=base,head | grep "| master | ${{ env.DEVELOPMENT_BRANCH }} |" | head -c1 | wc -c) -eq 0 ]]; then
./tea pr c --base=master --head=${{ env.DEVELOPMENT_BRANCH }} --description="development pull request" -t="WIP: ${{ github.event.head_commit.message }}"
fi
echo 'pushed new branch and created pr';
else else
if [[ $(git diff HEAD origin/${{ env.DEVELOPMENT_BRANCH }} | wc -c) -ne 0 ]]; then if [[ $(git diff HEAD origin/${{ env.DEVELOPMENT_BRANCH }} | wc -c) -ne 0 ]]; then
git push origin HEAD:origin/${{ env.DEVELOPMENT_BRANCH }}; git push origin HEAD:origin/${{ env.DEVELOPMENT_BRANCH }};