From: Xuan-Son Nguyen <redacted>
Date: Sun, 9 Aug 2026 14:51:21 +0000 (+0200)
Subject: ci: add pr-draft-label (#26801)
X-Git-Tag: upstream/0.0.10438~104
X-Git-Url: https://git.djapps.eu/?a=commitdiff_plain;h=936918514ce522b553c0fd80b169a6440e6096c6;p=pkg%2Fggml%2Fsources%2Fllama.cpp

ci: add pr-draft-label (#26801)
---

diff --git a/.github/workflows/pr-draft-label.yml b/.github/workflows/pr-draft-label.yml
new file mode 100644
index 000000000..d2594c823
--- /dev/null
+++ b/.github/workflows/pr-draft-label.yml
@@ -0,0 +1,23 @@
+name: Convert PR to draft
+
+on:
+  pull_request_target:
+    types: [labeled]
+
+permissions:
+  pull-requests: write
+  issues: write
+  contents: write # required for "gh pr ready" command, see https://github.com/cli/cli/issues/8910
+
+jobs:
+  convert-to-draft:
+    if: github.event.label.name == 'draft' && github.event.pull_request.draft == false
+    runs-on: ubuntu-slim
+    steps:
+      - name: Convert PR to draft
+        env:
+          GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+          PR_URL: ${{ github.event.pull_request.html_url }}
+        run: |
+          gh pr ready --undo "$PR_URL"
+          gh pr edit "$PR_URL" --remove-label draft