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

add theroch as a contributor for bug #4535

Merged
merged 2 commits into from
Feb 5, 2025
Merged

Conversation

allcontributors[bot]
Copy link
Contributor

Adds @theroch as a contributor for bug.

This was requested by sreichel in this comment

Copy link

sonarqubecloud bot commented Feb 4, 2025

@sreichel sreichel added the chore label Feb 4, 2025
Copy link
Contributor

@theroch theroch left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good

@sreichel sreichel merged commit 94ce852 into main Feb 5, 2025
2 checks passed
@sreichel sreichel deleted the all-contributors/add-theroch branch February 5, 2025 10:58
@sreichel
Copy link

sreichel commented Feb 5, 2025

Please approve the others too ... :P

@sreichel
Copy link

sreichel commented Feb 6, 2025

@addison74 can you plese help to merge that all-contributors bot PRs.

(blindly approve ... i can do the merges later)

@sreichel
Copy link

sreichel commented Feb 6, 2025

❤️

@theroch
Copy link
Contributor

theroch commented Feb 6, 2025

What a crappy job ;)

@sreichel
Copy link

sreichel commented Feb 6, 2025

It is, but I like the all-contributors idea.

We only had it for merged PRs, but not for reported issues.

Thanks for clicking ... :)

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.

None yet

2 participants