Skip to content

docs: update contributors - #498

Open
github-actions[bot] wants to merge 1 commit into
mainfrom
bot/contributors
Open

github-actions[bot] wants to merge 1 commit into
mainfrom
bot/contributors

Conversation

@github-actions

Copy link
Copy Markdown
Contributor

Regenerated by the Update contributors workflow from merged pull requests. Pull requests opened by GitHub Actions do not trigger other workflows, so the required checks will not report here. Review the diff, then merge as admin.

@github-actions github-actions Bot added the no-visual-change Maintainer waiver: this change has no observable before/after label Sep 11, 2026
@github-actions
github-actions Bot force-pushed the bot/contributors branch 15 times, most recently from 56bbb93 to c09a7c7 Compare September 17, 2026 11:11
@github-actions
github-actions Bot force-pushed the bot/contributors branch 2 times, most recently from ab8aa51 to c1e97ad Compare September 17, 2026 19:12
@github-actions
github-actions Bot force-pushed the bot/contributors branch 10 times, most recently from e059dcd to 502e405 Compare September 28, 2026 01:32
@github-actions
github-actions Bot force-pushed the bot/contributors branch 21 times, most recently from a63f1a1 to 8187cde Compare October 4, 2026 22:04
@github-actions
github-actions Bot force-pushed the bot/contributors branch 4 times, most recently from 6858adc to 608f93b Compare October 6, 2026 12:23

This branch has not been deployed

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

Labels

no-visual-change Maintainer waiver: this change has no observable before/after

Projects

None yet

Development

Successfully merging this pull request may close these issues.

0 participants