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

Make opt optional for frontends #390

Closed
wants to merge 1 commit into from
Closed

Make opt optional for frontends #390

wants to merge 1 commit into from

Conversation

mfleming
Copy link
Contributor

Allow frontends to avoid jumping through hoops to create an Opt object, for example, when configuration is handled by a config file.

@mfleming
Make opt optional for frontends
8204820 
Allow frontends to avoid jumping through hoops to create an Opt object,
for example, when configuration is handled by a config file.
@eaufavor eaufavor added the ergonomics Ease of use, developer friendliness label Sep 20, 2024
@johnhurt johnhurt self-assigned this Oct 4, 2024
@johnhurt johnhurt added the Accepted This change is accepted by us and merged to our internal repo label Oct 18, 2024
johnhurt pushed a commit that referenced this pull request Oct 28, 2024
@mfleming @johnhurt
Make opt optional for frontends
19a7bea 
Allow frontends to avoid jumping through hoops to create an Opt object,
for example, when configuration is handled by a config file.

Includes-commit: 8204820
Replicated-from: #390
johnhurt pushed a commit that referenced this pull request Oct 28, 2024
@mfleming @johnhurt
Make opt optional for frontends
e94c0a3 
Allow frontends to avoid jumping through hoops to create an Opt object,
for example, when configuration is handled by a config file.

Includes-commit: 8204820
Replicated-from: #390
@johnhurt
Copy link
Contributor

This has been merged as part of the weekly sync. Thank you for your contributions! 🎉

@johnhurt johnhurt closed this Oct 28, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@johnhurt johnhurt

Labels
Accepted This change is accepted by us and merged to our internal repo ergonomics Ease of use, developer friendliness
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@mfleming @johnhurt @eaufavor