Skip to content

chore(community-users): update community-users.json#2417

Merged
the-json-schema-bot[bot] merged 1 commit into
mainfrom
update-contributors-1781412215
Jun 14, 2026
Merged

chore(community-users): update community-users.json#2417
the-json-schema-bot[bot] merged 1 commit into
mainfrom
update-contributors-1781412215

Conversation

@the-json-schema-bot

Copy link
Copy Markdown
Contributor

This PR updates the community-users.json file with the latest contributors data.

@the-json-schema-bot the-json-schema-bot Bot merged commit bd91e8b into main Jun 14, 2026
6 of 7 checks passed
@the-json-schema-bot the-json-schema-bot Bot deleted the update-contributors-1781412215 branch June 14, 2026 04:43
@github-project-automation github-project-automation Bot moved this from Ready to review to Done in PR - Triage Group Jun 14, 2026
@github-actions

Copy link
Copy Markdown

Hi @the-json-schema-bot[bot]! Thanks a lot for your contribution!

I noticed that the following required information is missing or incomplete: issue reference, kind of change description

Please update the PR description to include this information. You can find placeholders in the PR template for these items.

Thanks a lot!

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

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

0 participants