From 6528fcac86373dc4ee5ebf825ae5fe74c2c37ae4 Mon Sep 17 00:00:00 2001 From: gilesb Date: Mon, 23 Oct 2023 15:30:37 +0100 Subject: [PATCH] ... --- .gitea/workflows/develop -> build.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.gitea/workflows/develop -> build.yml b/.gitea/workflows/develop -> build.yml index c9c0742..6a3d2db 100644 --- a/.gitea/workflows/develop -> build.yml +++ b/.gitea/workflows/develop -> build.yml @@ -55,6 +55,7 @@ jobs: 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 }} + ./tea pr ls -f=base,head -o=csv if [[ $(./tea pr ls -f=base,head -o=csv | grep "\"master\",\"${{ github.ref_name }}\"" | head -c1 | wc -c) -eq 0 ]]; then ./tea pr c --base=master --head=${{ github.ref_name }} --description=" development pull request