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.

Sign up for GitHub

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

Jump to bottom

Add rayman's bot #8

Merged

Rayman merged 1 commit into main from feature/rayman

Oct 3, 2024

Collaborator

Rayman commented Sep 26, 2024

@heinwessels am I allowed to add my bot to the repo?

Rayman requested a review from heinwessels

September 26, 2024 15:13

Rayman self-assigned this

heinwessels approved these changes

View reviewed changes

Contributor

heinwessels left a comment

I think it's okay, but we need to add a (Non-compete) label to our bots. Maybe as the contributor field?


          Add rayman's bot

304df41

Rayman force-pushed the feature/rayman branch from 6b84e6d to 304df41 Compare

October 3, 2024 09:30

Rayman merged commit 8c0d6f5 into main

4 checks passed

Rayman deleted the feature/rayman branch

October 3, 2024 09:31

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

Labels

None yet