Skip to content

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

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

rennf93 merged 1 commit into
masterfrom
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
@github-actions github-actions Bot added the ci GitHub Actions and pre-commit label Oct 12, 2026
@rennf93
rennf93 merged commit 7015bf1 into master Oct 12, 2026
11 checks passed
@rennf93
rennf93 deleted the ci/discord-dev-feed branch October 12, 2026 15:14
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

ci GitHub Actions and pre-commit 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