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

chore: 🍰 Add Groups To Seeding #5185

Merged
merged 5 commits into from
Aug 15, 2022

Conversation

Tirokk
Copy link
Member

@Tirokk Tirokk commented Aug 15, 2022

🍰 Pullrequest

Add groups to seeding.

Issues

Todo

  • cleanup: search for Wolle

@Tirokk Tirokk changed the title chore: [WIP] 🍰 Add Groups To Seeding chore: 🍰 Add Groups To Seeding Aug 15, 2022
@Tirokk Tirokk requested review from Mogge and ogerly August 15, 2022 13:26
Copy link
Contributor

@Mogge Mogge left a comment

Choose a reason for hiding this comment

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

I did not try it, but the code looks good

@Tirokk
Copy link
Member Author

Tirokk commented Aug 15, 2022

@ogerly tried and I more than once. @Mogge

@Tirokk Tirokk merged commit f6e9cb1 into 5059-epic-groups Aug 15, 2022
@Tirokk Tirokk deleted the 5059-groups/5183-add-groups-to-seeding branch August 15, 2022 19:17
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.

3 participants