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

Order the list of dropdown choices in the schema manager #1659

Merged
merged 2 commits into from
Dec 19, 2023

Conversation

dgarros
Copy link
Collaborator

@dgarros dgarros commented Dec 19, 2023

fixes #1631

@github-actions github-actions bot added the group/backend Issue related to the backend (API Server, Git Agent) label Dec 19, 2023
@dgarros dgarros requested a review from ogenstad December 19, 2023 10:15
@dgarros dgarros added the ci/skip-changelog Don't include this PR in the changelog label Dec 19, 2023
Copy link
Contributor

@ogenstad ogenstad left a comment

Choose a reason for hiding this comment

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

LGTM

@dgarros dgarros merged commit 419639e into develop Dec 19, 2023
27 checks passed
@dgarros dgarros deleted the dga-20231219-dropdown branch December 19, 2023 11:22
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
ci/skip-changelog Don't include this PR in the changelog group/backend Issue related to the backend (API Server, Git Agent)
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants