Skip to content
This repository has been archived by the owner on Jan 9, 2025. It is now read-only.

bot: Update Contributors File #82

Merged
merged 2 commits into from
Aug 1, 2024
Merged

bot: Update Contributors File #82

merged 2 commits into from
Aug 1, 2024

Conversation

github-actions[bot]
Copy link
Contributor

@github-actions github-actions bot commented Aug 1, 2024

skip-checks:true

Signed-off-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
Copy link

mergify bot commented Aug 1, 2024

Thanks for opening this pull request!
Please check out the Contributing Guidelines.

Copy link

mergify bot commented Aug 1, 2024

@github-actions[bot]
Wrong PR Title: bot: Update Contributors File
Please check Contributing Guidelines for more information.

@mergify mergify bot requested a review from a team August 1, 2024 01:25
nb_files_formatted: 1
eventKey: random-362952f7-f7f8-46d1-b39c-7dec39a3c5a5
@github-actions github-actions bot added the documentation Improvements or additions to documentation label Aug 1, 2024
@github-actions github-actions bot merged commit 8be4a03 into master Aug 1, 2024
12 of 15 checks passed
@github-actions github-actions bot deleted the contributors branch August 1, 2024 01:27
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
automerge documentation Improvements or additions to documentation size/XS
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant