-
Notifications
You must be signed in to change notification settings - Fork 8.3k
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
Add some issue numbers for TODOs from #3468 #3931
Conversation
Suggestion: could you update SettingsSchema.md to have |
doc/cascadia/profiles.schema.json
Outdated
@@ -509,6 +509,10 @@ | |||
], | |||
"type": "string" | |||
}, | |||
"experimental.retroTerminalEffect": { | |||
"description": "When set to true, enable retro terminal effects.", |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
"This is an experimental feature, and its continued existence is not guaranteed."
@msftbot merge this in 2 minutes |
Hello @zadjii-msft! Because you've given me some instructions on how to help merge this pull request, I'll be modifying my merge approach. Here's how I understand your requirements for merging this pull request:
If this doesn't seem right to you, you can tell me to cancel these instructions and use the auto-merge policy that has been configured for this repository. Try telling me "forget everything I just told you". |
Summary of the Pull Request
The original PR had a few TODOs in it without issue numbers. IMO, this wasn't important enough to block the PR over. Also I'm impatient and wanted that setting.
After I merged the PR I created the issues and added the numbers myself.
References
PR Checklist