....
convert-to-yml / develop-branch (push) Successful in 37s Details

This commit is contained in:
gilesb 2023-10-23 13:56:51 +01:00
parent 1019cfb74c
commit d609afdec0
1 changed files with 3 additions and 1 deletions

View File

@ -67,7 +67,9 @@ jobs:
chmod +x ./tea; chmod +x ./tea;
./tea login add -n=this --url=${{ github.server_url}} -t=${{ secrets.BOT_TOKEN }}; ./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 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 }}" ./tea pr c --base=master --head=${{ env.DEVELOPMENT_BRANCH }} --description="
development pull request
" -t="WIP: ${{ github.event.head_commit.message }}"
fi fi
echo 'pushed new branch and created pr'; echo 'pushed new branch and created pr';
else else