Skip to content

document the default for /servers #2861

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
Merged
merged 1 commit into from
Feb 24, 2022
Merged

document the default for /servers #2861

merged 1 commit into from
Feb 24, 2022

Conversation

@karenetheridge
Copy link
Member

@karenetheridge karenetheridge commented Jan 20, 2022

@darrelmiller
Copy link
Member

darrelmiller commented Feb 3, 2022

Hey Karen, thanks for the PR. Can you help us understand what problem this addresses?

@karenetheridge
Copy link
Member Author

karenetheridge commented Feb 5, 2022

default is mostly for documentation purposes but some implementations may use it to fill in a value if not specified.

We use the default keyword in many other places in the schema where the specification indicates there is a default value to be assumed.

@webron webron merged commit dfc8292 into OAI:main Feb 24, 2022
@karenetheridge karenetheridge deleted the ether/servers-default branch February 25, 2022 03:08
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@darrelmiller darrelmiller darrelmiller approved these changes

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

3 participants

@karenetheridge @darrelmiller @webron