Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

chore: add GavinZhengOI as a contributor for doc #1152

Merged
merged 4 commits into from
Apr 2, 2024

Conversation

allcontributors[bot]
Copy link
Contributor

Adds @GavinZhengOI as a contributor for doc.

This was requested by derberg in this comment

derberg
derberg previously approved these changes Mar 27, 2024
@derberg derberg changed the title add GavinZhengOI as a contributor for doc chore: add GavinZhengOI as a contributor for doc Mar 27, 2024
@derberg
Copy link
Member

derberg commented Mar 27, 2024

@Florence-Njeri please approve and merge right after

Copy link

sonarcloud bot commented Apr 2, 2024

Quality Gate Passed Quality Gate passed

Issues
0 New issues
0 Accepted issues

Measures
0 Security Hotspots
No data about Coverage
No data about Duplication

See analysis details on SonarCloud

@derberg
Copy link
Member

derberg commented Apr 2, 2024

/rtm

@asyncapi-bot asyncapi-bot merged commit 41c6282 into master Apr 2, 2024
14 checks passed
@asyncapi-bot asyncapi-bot deleted the all-contributors/add-GavinZhengOI branch April 2, 2024 09:33
@asyncapi-bot
Copy link
Contributor

🎉 This PR is included in version 1.17.17 🎉

The release is available on:

Your semantic-release bot 📦🚀

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

Successfully merging this pull request may close these issues.

3 participants