Skip to content

Update credits to add new contributors#146

Open
github-actions[bot] wants to merge 5 commits into
mainfrom
update-credits-1762428950
Open

Update credits to add new contributors#146
github-actions[bot] wants to merge 5 commits into
mainfrom
update-credits-1762428950

Conversation

@github-actions
Copy link
Copy Markdown

@github-actions github-actions Bot commented Nov 6, 2025

This is an automated update of the credits for the core package.

Checklist:

  • Check the resulting docs/credits.rst, and update the .mailmap file for any duplicates or missing names
  • 🙏 Please apply backport labels to any active backport branches for v7.2.x or later. 🙏
  • ⚠️ Please close and re-open this pull request to trigger the CI. ⚠️

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant