From 1727b373309d1ca3200f42986292591af3fbc732 Mon Sep 17 00:00:00 2001
From: gilesb <giles.bradshaw@sigyl.com>
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