Skip to content

Add a Settings option for GitHub organization scope #3701

Description

@CompleteDotTech

Context

PR #3700 fixes the incomplete GitHub Organization filter by retrieving the signed-in account's organization memberships. That pull request is intentionally limited to the GitHub surface.

Follow-up

Add a Settings option that lets a user define the GitHub organization scope used by Cave (for example, all memberships or a selected subset). Decide the final UX and persistence model as part of the implementation.

UI ownership

@BunsDev owns the Settings UI and its integration.

Acceptance criteria

  • Settings exposes a clear control for the GitHub organization scope.
  • The control is populated from the authenticated GitHub membership list.
  • The selected scope persists and has a documented reset/default behavior.
  • The GitHub surface consistently applies the configured scope.
  • PR fix: populate GitHub org filter from memberships #3700 remains limited to the GitHub selector/data correction and does not absorb this Settings feature.

Related work

Metadata

Metadata

Assignees

Labels

No labels
No labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions