Skip to content

ci: make the contribution reminder generic - #25

Merged
wzslr321 merged 1 commit into
mainfrom
ci/generic-contribution-reminder
Sep 23, 2026
Merged

wzslr321 merged 1 commit into
mainfrom
ci/generic-contribution-reminder

Conversation

@wzslr321

Copy link
Copy Markdown
Member

The comment the reminder posts on PRs from LeanCode members is public. It used to name the internal repository, link it, and list what belongs there. The comment now only asks whether the PR is meant to be public and notes that everything merged here is publicly visible.

The workflow file is renamed from internal-contribution-reminder.yml to contribution-reminder.yml. The job and its trigger are unchanged.

🤖 Generated with Claude Code

The reminder posted on members' PRs named the internal repository and
described what goes there. Keep the check, drop the specifics.

Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
@github-actions

Copy link
Copy Markdown

Hi @wzslr321! 👋 You're a LeanCode member, so a quick sanity check before this ships: is this PR meant for the public marketplace?

Everything merged here becomes publicly visible and is automatically synced into ai-plugins-internal.

  • Internal-only content (client-specific guidance, internal processes, backend/PMO plugins, anything not ready to be public) belongs in ai-plugins-internal instead.
  • Generally useful, public-ready content is right at home here — the internal repo will pick it up through the sync.

If public is what you intended, just ignore this comment. 🙂

@wzslr321
wzslr321 merged commit 6f60039 into main Sep 23, 2026
4 checks passed
@wzslr321
wzslr321 deleted the ci/generic-contribution-reminder branch September 23, 2026 13:13
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant