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.

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

Update contributors #33

Merged
merged 1 commit into from
Jun 24, 2024
Merged

Update contributors #33

merged 1 commit into from
Jun 24, 2024

Conversation

clementbiron
Copy link
Member

Should be reviewed and merged after #32

@clementbiron clementbiron requested a review from MattiSG June 19, 2024 09:05
@MattiSG MattiSG changed the base branch from main to ease-listing-contributors June 19, 2024 12:46
MattiSG
MattiSG approved these changes Jun 20, 2024
View reviewed changes
Copy link
Member

@MattiSG MattiSG left a comment

Choose a reason for hiding this comment

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

🚢

@clementbiron clementbiron force-pushed the ease-listing-contributors branch from b07177d to f690711 Compare June 20, 2024 14:34
Base automatically changed from ease-listing-contributors to main June 24, 2024 12:56
@clementbiron clementbiron force-pushed the update-contributors branch from 9c4de33 to 1112c00 Compare June 24, 2024 13:00
@clementbiron
Copy link
Member Author

Core team decided to bypass the tests for this pull request.

@clementbiron clementbiron merged commit cd97c4d into main Jun 24, 2024
1 of 2 checks passed
@clementbiron clementbiron deleted the update-contributors branch June 24, 2024 13:01
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@MattiSG MattiSG MattiSG approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@clementbiron @MattiSG