Skip to content

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

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 PR not tied to an issue label Oct 12, 2026
@github-actions

Copy link
Copy Markdown
Contributor

Thanks for opening your first pull request on tornadoapi-guard!

Quick checklist before review (most of these are enforced by CI, but worth a glance):

  • make lint — ruff format, ruff check, mypy, and vulture
  • make test (or make local-test) — full test suite passes with 100% coverage
  • make security — bandit, safety, and pip-audit all clean
  • make quality — radon and xenon complexity thresholds respected
  • No # noqa / # type: ignore shortcuts; pre-existing violations in touched files are fixed
  • Added an entry under ## Unreleased in CHANGELOG.md
  • If you touched a public API, updated the relevant page under docs/
  • If the change involves engine logic, the corresponding fix landed in guard-core first

See CONTRIBUTING.md for the full workflow and the Code of Conduct for the community standards we follow.

Welcome aboard — a maintainer will review shortly.

@github-actions github-actions Bot added the ci GitHub Actions and pre-commit label Oct 12, 2026
@rennf93
rennf93 merged commit 8269201 into master Oct 12, 2026
4 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 PR not tied to an issue

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant