Skip to content

chore(ci): relay development activity to the family Discord channel - #26

Merged
rennf93 merged 1 commit into
mainfrom
ci/discord-dev-feed
Oct 12, 2026
Merged

rennf93 merged 1 commit into
mainfrom
ci/discord-dev-feed

Conversation

@rennf93

@rennf93 rennf93 commented Oct 12, 2026

Copy link
Copy Markdown
Member

Delivers issue: none (chore, no-issue)

Forwards issues, pull requests, reviews and discussions from this repository to its language family's development channel on the Guard Core Discord (#dev-python, #dev-typescript, #dev-rust, #dev-go, #dev-php, #dev-saas).

  • Skips bot activity (dependabot, stale, github-actions) and anything on bot-authored PRs or issues, which GitHub's built-in Discord hook cannot filter.
  • Reads only the event payload and never checks out code, so pull_request_target runs no untrusted code. permissions: {}.
  • The channel webhook comes from the DISCORD_DEV_FEED_WEBHOOK repository secret. Runs without it (fork pull requests) skip with a notice.

Release posts stay on the existing GitHub hook to #releases.

@rennf93 rennf93 added the no-issue Chore or dependency PR that does not need an issue label Oct 12, 2026
@rennf93
rennf93 merged commit 87b4396 into main Oct 12, 2026
14 checks passed
@rennf93
rennf93 deleted the ci/discord-dev-feed branch October 12, 2026 15:16
@github-actions github-actions Bot added the ci GitHub Actions workflows label Oct 12, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

ci GitHub Actions workflows no-issue Chore or dependency PR that does not need an issue

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant