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

fixxed crew update mistakes #50

Merged
merged 13 commits into from
Oct 14, 2023
Merged

fixxed crew update mistakes #50

merged 13 commits into from
Oct 14, 2023

Conversation

PhilippSeidel
Copy link
Contributor

new plank of directors here, here and here. Please push in crew_2023

@PhilippSeidel PhilippSeidel added the bug Something isn't working label Oct 14, 2023
@PhilippSeidel PhilippSeidel self-assigned this Oct 14, 2023
@PhilippSeidel PhilippSeidel mentioned this pull request Oct 14, 2023
Closed
13 tasks
schliz
schliz approved these changes Oct 14, 2023
View reviewed changes
Copy link
Collaborator

@schliz schliz left a comment

Choose a reason for hiding this comment

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

adequate number of seals 👍

@schliz schliz merged commit 49d0eaa into develop Oct 14, 2023
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@schliz schliz schliz approved these changes

Assignees

@PhilippSeidel PhilippSeidel

Labels
bug Something isn't working
Projects
None yet
Milestone
Hopefully before o-week 23
Development

Successfully merging this pull request may close these issues.
2 participants
@PhilippSeidel @schliz