From 450a606a763d953f2fdaf33596bd304ded854d24 Mon Sep 17 00:00:00 2001
From: Octo Bot <bot@mininglamp.com>
Date: Sat, 30 May 2026 17:11:15 +0800
Subject: [PATCH] chore(ci): add octo-pr-feed workflow to activate global
 pr-feed channel
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Adds octo-pr-feed.yml caller triggering on PR opened/closed/reopened events.
Sends notifications to both the repo's dedicated Octo group and the global
pr-feed channel (1c303c142e9840f2a9b46c10b0972e8d).

This workflow was the last missing piece of the org's standard CI suite —
without it, the pr-feed monitoring channel received no events.
---
 .github/workflows/octo-pr-feed.yml | 27 +++++++++++++++++++++++++++
 1 file changed, 27 insertions(+)
 create mode 100644 .github/workflows/octo-pr-feed.yml

diff --git a/.github/workflows/octo-pr-feed.yml b/.github/workflows/octo-pr-feed.yml
new file mode 100644
index 00000000..5e4975e5
--- /dev/null
+++ b/.github/workflows/octo-pr-feed.yml
@@ -0,0 +1,27 @@
+name: Octo PR Feed
+
+on:
+  pull_request_target: # zizmor: ignore[dangerous-triggers] metadata-only automation; no PR code executed
+    types: [opened, closed, reopened]
+    branches: [main]
+
+permissions: {}
+
+jobs:
+  notify:
+    if: ${{ !github.event.pull_request.draft }}
+    uses: Mininglamp-OSS/.github/.github/workflows/octo-pr-feed.yml@main
+    with:
+      repo_name: ${{ github.event.repository.name }}
+      pr_number: ${{ github.event.pull_request.number }}
+      pr_title: ${{ github.event.pull_request.title }}
+      pr_url: ${{ github.event.pull_request.html_url }}
+      pr_author: ${{ github.event.pull_request.user.login }}
+      pr_merged: ${{ github.event.pull_request.merged }}
+      pr_additions: ${{ github.event.pull_request.additions }}
+      pr_deletions: ${{ github.event.pull_request.deletions }}
+      pr_changed_files: ${{ github.event.pull_request.changed_files }}
+      event_action: ${{ github.event.action }}
+      project_group_id: '9ea115c7462b4b45b8c85d07d07e0dde'
+    secrets:
+      OCTO_BOT_TOKEN: ${{ secrets.OCTO_BOT_TOKEN }}