Skip to content

Check each pull request for terms that must not appear here - #32

Merged
drkostas merged 2 commits into
mainfrom
ci/private-terms
Oct 13, 2026
Merged

drkostas merged 2 commits into
mainfrom
ci/private-terms

Conversation

@drkostas

Copy link
Copy Markdown
Owner

Adds the private-terms workflow: it reads the pull request title, description, commit messages and added lines, and fails on any term from the PRIVATE_TERMS secret. The list is kept in the secret, not in the repository, and the log never prints the matched text.

@vercel

vercel Bot commented Oct 13, 2026 •

Copy link
Copy Markdown

The latest updates on your projects. Learn more about Vercel for GitHub.

Project Deployment Actions Updated
gkos-dev Ready Ready Preview Oct 13, 2026 7:06am UTC

@drkostas
drkostas merged commit 0cff4c9 into main Oct 13, 2026
3 of 4 checks passed
@drkostas
drkostas deleted the ci/private-terms branch October 13, 2026 07:05
@github-project-automation github-project-automation Bot moved this to Todo in Pokédex Oct 26, 2026
@github-project-automation github-project-automation Bot moved this from Todo to Done in Pokédex Oct 26, 2026

This branch was successfully deployed

1 active deployment
Preview — 683cc380 Deployed Oct 13, 2026 by vercel[bot]
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

1 participant