Skip to content

Drive PR sync team checks and welcome messages from repo_config - #378

Open
lykimq wants to merge 3 commits into
masterfrom
quyen@bot_generic_pr6
Open

Drive PR sync team checks and welcome messages from repo_config#378
lykimq wants to merge 3 commits into
masterfrom
quyen@bot_generic_pr6

Conversation

@lykimq

@lykimq lykimq commented Aug 4, 2026

Copy link
Copy Markdown
Contributor

Drive PR sync, merge, and comment-command team checks from repo_config instead of Rocq hardcodes.

  • Gate the welcome message on contributing_url (skip when absent)
  • Resolve org / teams / alert mentions from config (trigger_ci, merge_pr, alert_mention)
  • Thread config into run-ci, merge now, and bench command handling
  • Add Alcotest coverage for team helpers and welcome gating

lykimq added 3 commits August 4, 2026 09:49
Replace Rocq hardcodes in PR sync, merge, and comment with org/team/alert/contributing_url and gitlab_domain from repo config
…uld_send_welcome_message with and without contributing_url
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