After you connect GitHub, you manage the connection in Settings › GitHub. Only workspace admins can do this.
Change which repositories Grove reads
Open the account menu, then Workspace settings, then GitHub.
On the organization's row, click Manage on GitHub. GitHub's settings for the Grove app open in a new tab.
Add or remove repositories, and save on GitHub.
Grove picks up the change the next time an admin opens Settings › GitHub, or when Grove next starts working in the workspace. When you remove a repository, Grove deletes its copy.
Fix a broken connection
If GitHub no longer gives Grove access, the organization's row shows Needs reconnection. This happens, for example, when someone uninstalls the Grove app on GitHub.
Click Reconnect on GitHub, and approve the app again. Grove replaces the broken connection.
Disconnect an organization
In Settings › GitHub, click Disconnect on the organization's row.
Type the organization's name to confirm.
Click Disconnect.
What happens:
Grove stops reading that organization's repositories, and deletes its copies.
The connection is removed from this workspace only.
The Grove app stays installed on GitHub.
To remove the app from GitHub too, click Uninstall on GitHub in the message Grove shows. Or uninstall it in your GitHub organization's settings.
If you uninstall the app on GitHub without disconnecting in Grove first, the row shows Needs reconnection until you click Disconnect.