Skip to content

docs: update list of contributors#11212

Open
stdlib-bot wants to merge 1 commit intodevelopfrom
update-contributors
Open

docs: update list of contributors#11212
stdlib-bot wants to merge 1 commit intodevelopfrom
update-contributors

Conversation

@stdlib-bot
Copy link
Copy Markdown
Contributor

This PR

  • updates the list of contributors

Reviewer Checklist

  • For any new contributors, check if their full names are listed on their GitHub profile or in social links.
  • If so, on the PR branch update the .mailmap file accordingly to ensure proper attribution.
  • If updating .mailmap, regenerate the contributors file by running make update-contributors on the PR branch afterward.
  • Approve the PR after verifying the changes.

@stdlib-bot stdlib-bot added automated-pr Automated pull request (e.g., from a bot). Documentation Improvements, additions, or changes to documentation. labels Mar 30, 2026
@stdlib-bot stdlib-bot requested a review from a team March 30, 2026 03:02
Signed-off-by: stdlib-bot <82920195+stdlib-bot@users.noreply.github.com>
@stdlib-bot stdlib-bot force-pushed the update-contributors branch from 6f24019 to 5e80a31 Compare March 31, 2026 03:02
@github-actions github-actions bot mentioned this pull request Mar 31, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

automated-pr Automated pull request (e.g., from a bot). Documentation Improvements, additions, or changes to documentation.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants