only delete certificate if PR is merged

matifali · matifali · commit dae82bd9b588 · 2023-08-03T14:23:20.000Z
This will prevent deleting the certificate for a PR if its is closed by stale bot and may be opened again.
diff --git a/.github/workflows/pr-cleanup.yaml b/.github/workflows/pr-cleanup.yaml
@@ -67,6 +67,7 @@ jobs:
           ) || echo "DNS record not found"
 
       - name: "Delete certificate"
+        if: ${{ github.event.pull_request.merged == true }}
         run: |
           set -euxo pipefail
           kuebctl delete certificate "pr${{ steps.pr_number.outputs.PR_NUMBER }}-tls" -n pr-deployment-certs || echo "certificate not found"
