Skip to content

Add a "dev mode" setting #8303

@alexr00

Description

@alexr00

When I'm working on the extension, I might reload dozens of times in an hour. This can cause me to blow through my rate limit. We should have a githubPullRequests.devMode setting, which limits some of the more expensive API calls that can become problematic:

  • Don't Copilot PR status automatically and on a timer
  • Collapse all PR queries
  • Don't fetch issues

Metadata

Metadata

Labels

feature-requestRequest for new features or functionalityverification-neededVerification of issue is requestedverifiedVerification succeeded

Type

No type

Projects

No projects

Milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions