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

Aggregate APIs should not have name Generic API Server #1645

Open
joshuatcasey opened this issue Aug 28, 2023 · 1 comment
Open

Aggregate APIs should not have name Generic API Server #1645

joshuatcasey opened this issue Aug 28, 2023 · 1 comment
Labels
enhancement New feature or request priority/undecided Not yet prioritized

Comments

@joshuatcasey
Copy link
Member

Can we choose more appropriate names? Perhaps Pinniped Concierge and Pinniped Supervisor? Is there other metadata that we can add in?
@joshuatcasey joshuatcasey mentioned this issue Aug 28, 2023
Merged
@benjaminapetersen
Copy link
Member

This would be a nice UX fix before we release again.

@pinniped-ci-bot pinniped-ci-bot added enhancement New feature or request priority/undecided Not yet prioritized labels Sep 13, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement New feature or request priority/undecided Not yet prioritized
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@benjaminapetersen @joshuatcasey @pinniped-ci-bot