Prerequisites
- Your organization has the GitHub integration set up. See GitHub setup.
Choose repositories for a session
- Go to New session.
- Open the Working in picker.
- Search for a repo, then select it to add it to the session. Select it again to remove it.
+n badge when you’ve selected more than one. Hover the picker to see the full list. Select the × to clear every selected repo.
Save a default
- Open the Working in picker.
- Hover a repo in the repo list and select Make default.
Remove a default
- Open the Working in picker.
- Hover a repo in the Default section and select Remove default.
Know when your defaults are selected
The picker shows a Default label next to the repo name when your selection exactly matches your saved defaults. If you add or remove a repo for a single session, the label disappears. Your saved defaults stay the same. When your selection exactly matches your defaults, the selection follows your default changes:- Selecting Make default on a repo also selects it for the current session.
- Selecting Remove default on a repo also deselects it for the current session.