...

2023-10-23 15:30:37 +01:00 · 2023-10-23 15:30:37 +01:00 · 1727b37330
parent 3ee4be6e34
commit 1727b37330
1 changed files with 1 additions and 0 deletions
--- a/.gitea/workflows/develop
+++ b/.gitea/workflows/develop
@ -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