Skip to content

Conversation

stdlib-bot
Copy link
Contributor

@stdlib-bot stdlib-bot commented Sep 2, 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.

@stdlib-bot stdlib-bot added automated-pr Automated pull request (e.g., from a bot). Documentation Improvements, additions, or changes to documentation. labels Sep 2, 2025
@stdlib-bot stdlib-bot requested a review from a team September 2, 2025 02:31
@Planeshifter Planeshifter added the Ready To Merge A pull request which is ready to be merged. label Sep 2, 2025
@stdlib-bot
Copy link
Contributor Author

PR Commit Message

docs: update list of contributors

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

Co-authored-by: Philipp Burckhardt <[email protected]>
Reviewed-by: Philipp Burckhardt <[email protected]>
Signed-off-by: stdlib-bot <[email protected]>

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

@Planeshifter Planeshifter merged commit c62ff2c into develop Sep 2, 2025
82 checks passed
Planeshifter pushed a commit that referenced this pull request Sep 8, 2025
PR-URL: #8002

Reviewed-by: Philipp Burckhardt <[email protected]>
Signed-off-by: stdlib-bot <[email protected]>
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.

2 participants