Skip to content

Update credits to add new contributors#147

Open
github-actions[bot] wants to merge 6 commits intomainfrom
update-credits-1762429012
Open

Update credits to add new contributors#147
github-actions[bot] wants to merge 6 commits intomainfrom
update-credits-1762429012

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:

  • Apply backport labels to any active backport branches for v7.2.x or later
  • Close and re-open this pull request to trigger the CI
  • Check the resulting docs/credits.rst, and update the .mailmap file for any duplicates or missing names
  • If you update .mailmap, re-run:
python .github/workflows/update_credits.py

and commit and push the changes to this branch.

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