Skip to content

Conversation

stdlib-bot
Copy link
Contributor

@stdlib-bot stdlib-bot commented Mar 31, 2025

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.

Signed-off-by: stdlib-bot <82920195+stdlib-bot@users.noreply.github.com>
@stdlib-bot stdlib-bot added automated-pr Automated pull request (e.g., from a bot). Documentation Improvements, additions, or changes to documentation. labels Mar 31, 2025
@stdlib-bot stdlib-bot requested a review from a team March 31, 2025 02:31
@Planeshifter Planeshifter added the Ready To Merge A pull request which is ready to be merged. label Mar 31, 2025
@stdlib-bot
Copy link
Contributor Author

PR Commit Message

docs: update list of contributors

PR-URL: https://github.com/stdlib-js/stdlib/pull/6458

Co-authored-by: Philipp Burckhardt <pburckhardt@outlook.com>
Reviewed-by: Philipp Burckhardt <pburckhardt@outlook.com>
Signed-off-by: stdlib-bot <82920195+stdlib-bot@users.noreply.github.com>

Please review the above commit message and make any necessary adjustments.

@kgryte kgryte merged commit 76fb0db into develop Mar 31, 2025
79 checks passed
@kgryte kgryte deleted the update-contributors branch March 31, 2025 09:45
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. Ready To Merge A pull request which is ready to be merged.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants