-
Notifications
You must be signed in to change notification settings - Fork 1k
Document Esc key behavior fix for interactive prompt cancellation #1014
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
base: main
Are you sure you want to change the base?
Conversation
Co-authored-by: RyanHecht <5344055+RyanHecht@users.noreply.github.com>
Access permissions on GitHubWith roles, you can control who has access to your accounts and resources and the level of access each person has. About access permissions on GitHubTo perform any actions on GitHub, such as creating a pull request in a repository or changing an organization's billing settings, a person must have sufficient access to the relevant account or resource. This access is controlled by permissions. A permission is the ability to perform a specific action. For example, the ability to delete an issue is a permission. A role is a set of permissions you can assign to individuals or teams. Roles work differently for different types of accounts. For more information about accounts, see Types of GitHub accounts. Personal accountsA repository owned by a personal account has two permission levels: the repository owner and collaborators. For more information, see Permission levels for a personal account repository. Organization accountsOrganization members can have owner, billing manager, or member roles. Owners have complete administrative access to your organization, while billing managers can manage billing settings. Member is the default role for everyone else. You can manage access permissions for multiple members at a time with teams. For more information, see: Enterprise accountsEnterprise accounts have a range of predefined roles that define users' access to the enterprise settings. You can also create custom enterprise roles to define your own sets of fine-grained permissions. For more information, see Abilities of roles in an enterprise in the GitHub Enterprise Cloud documentation. Further reading |
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.
Almost ready
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.
copilot/fix-esc-key-behavior
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.
j
ahamed661177-8
left a comment
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.
Aaa666ggg55
Pressing Esc while editing the "No, and tell Copilot what to do differently" text input currently auto-selects "No", preventing users from returning to the option picker.
Changes
Note
This repository contains distribution files only. The actual implementation change is tracked separately in the internal source repository.
💡 You can make Copilot smarter by setting up custom instructions, customizing its development environment and configuring Model Context Protocol (MCP) servers. Learn more Copilot coding agent tips in the docs.