Skip to content

doc: updated contributors file#118

Merged
github-actions[bot] merged 1 commit into
masterfrom
doc/contributors-bot
May 23, 2026
Merged

doc: updated contributors file#118
github-actions[bot] merged 1 commit into
masterfrom
doc/contributors-bot

Conversation

@bot-go-openapi
Copy link
Copy Markdown

Automated changes by create-pull-request GitHub action

Signed-off-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
@bot-go-openapi bot-go-openapi Bot added the bot label May 23, 2026
@bot-go-openapi bot-go-openapi Bot requested a review from fredbi May 23, 2026 06:48
@github-actions github-actions Bot enabled auto-merge (rebase) May 23, 2026 06:51
@github-actions github-actions Bot merged commit 7439c85 into master May 23, 2026
23 of 25 checks passed
@github-actions github-actions Bot deleted the doc/contributors-bot branch May 23, 2026 17:48
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant