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

Feature/minutes decision #402

Merged
merged 1 commit into from
Jun 19, 2024
Merged

Conversation

Aarhunt
Copy link
Contributor

@Aarhunt Aarhunt commented Jun 9, 2024

Adds #343, implements a minutes decision using the new meeting search endpoint.

@tomudding tomudding self-requested a review June 9, 2024 13:56
@Aarhunt Aarhunt force-pushed the feature/minutes-decision branch from dd69e0b to cc228fc Compare June 9, 2024 14:17
@tomudding tomudding force-pushed the feature/minutes-decision branch from cc228fc to 0f27448 Compare June 19, 2024 18:22
Copy link
Member

@tomudding tomudding left a comment

Choose a reason for hiding this comment

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

As discussed, I would fix all remaining issues during my review. I have done this, it works as expected, so thank you very much for this feature!

We will have to look into a migration path for existing decisions.

@tomudding tomudding merged commit 04f9a70 into GEWIS:main Jun 19, 2024
4 checks passed
github-actions bot added a commit that referenced this pull request Jun 19, 2024
Tom Udding: Merge pull request #402 from Aarhunt/feature/minutes-decision

Feature/minutes decision

Co-authored-by: tomudding <tomudding@users.noreply.github.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants