Skip to content

docs: add prime-run as a contributor for code, test, and doc#1245

Merged
rubiin merged 2 commits intomasterfrom
all-contributors/add-prime-run
Sep 10, 2025
Merged

docs: add prime-run as a contributor for code, test, and doc#1245
rubiin merged 2 commits intomasterfrom
all-contributors/add-prime-run

Conversation

@allcontributors
Copy link
Contributor

Adds @prime-run as a contributor for code, test, doc.

This was requested by rubiin in this comment

[skip ci]

@github-actions
Copy link
Contributor

⚠️ Warning: PR targeting master branch detected!

This PR is targeting master but should target dev instead.

According to our Quarterly Release Policy:

  • All pull requests must be submitted to the dev branch
  • Changes go through dev first for testing before being merged to master during quarterly release windows (1st & 3rd Fridays)
  • PRs to master are only allowed for emergencies

Required Action:

  1. Change the base branch from master to dev
  2. Follow the pull request template

If this is an emergency fix, please add a comment explaining why it needs to target master directly.


This is an automated message enforcing our quarterly release workflow.

@rubiin rubiin merged commit 80bfacf into master Sep 10, 2025
1 check passed
@rubiin rubiin deleted the all-contributors/add-prime-run branch September 11, 2025 13:56
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