Top Bar
The Top Bar is the main navigation area at the top of TeamIDE. It lets you select your GitHub account, repository, branch, and project to set the working context for the entire application.
Overview
The Top Bar contains four dropdown selectors and action buttons:
| Element | Purpose |
|---|---|
| Owner Selector | Choose GitHub account or view all/local repos |
| Repository Selector | Select which repository to work with |
| Project Selector | Choose GitHub Projects or TeamIDE Workspaces |
| Branch Selector | Switch between branches |
| Action Buttons | Fetch, pull, push, publish, and collapse |
Your selections persist across sessions - TeamIDE remembers your last owner, repository, and branch.
Owner Selector
The leftmost dropdown lets you choose which GitHub account to work with.
Options
| Option | Description |
|---|---|
| All Owners | View repositories from all connected GitHub accounts |
| Local | View only locally imported repositories |
| [Account Name] | View repositories for a specific GitHub user or organization |
| Add GitHub Account | Connect a new GitHub account |
All Owners Mode
When “All Owners” is selected: - Repositories are grouped by owner with avatars - Recent repositories appear at the top (if enabled) - You can work across multiple accounts without switching
Local Mode
When “Local” is selected: - Only shows repositories imported from your local filesystem - No GitHub connection required - Useful for working with local projects
Managing Accounts
To add a GitHub account: 1. Click the Owner selector 2. Click “Add GitHub Account” 3. A dialog appears with a device code 4. Click the link to open GitHub’s device authorization page 5. Enter the code shown in TeamIDE 6. Authorize TeamIDE to access your account 7. The dialog closes automatically when complete
To remove an account: 1. Click the Owner selector 2. Find the account you want to remove 3. Click the logout button next to the account name
Repository Selector
The second dropdown shows available repositories based on your owner selection.
Repository List
Repositories are organized with the most relevant ones first:
- Cloned repositories - Already downloaded to TeamIDE (shown with folder icon)
- Other repositories - Available to clone from GitHub
Repository Indicators
| Icon | Meaning |
|---|---|
| Folder | Repository is cloned locally |
| Lock | Private repository |
| Fork | Forked from another repository |
| Archive | Archived repository |
Git Status Indicators
For cloned repositories, the selector shows:
| Indicator | Meaning |
|---|---|
| Yellow edit icon | Uncommitted changes |
| Blue up arrow with number | Commits to push |
| Orange down arrow with number | Commits to pull |
Cloning a Repository
When you select a repository that isn’t cloned: 1. A progress dialog appears 2. TeamIDE creates an environment and clones the repository 3. The dialog shows the current operation (creating, cloning, etc.) 4. Once complete, the repository is ready to use
Repository Actions
At the bottom of the repository dropdown:
| Action | Description |
|---|---|
| Import Local Repository | Import a folder from your computer |
| Clone from URL | Clone using a custom Git URL |
| Initialize New Repository | Create a new empty repository |
Branch Selector
The fourth dropdown lets you switch between branches.
Branch List
Branches are organized in two sections:
- Local Branches - Branches on your machine
- Remote Branches - Branches on the remote server (if any)
Branch Status
Local branches show their sync status with the remote:
| Display | Meaning |
|---|---|
| ↑ 3 | 3 commits ahead (need to push) |
| ↓ 2 | 2 commits behind (need to pull) |
| (no indicator) | Branch is in sync |
Creating a Branch
- Click the Branch selector
- Click “New Branch…”
- Enter the branch name
- The new branch is created from your current branch
Project Selector
The third dropdown shows GitHub Projects and TeamIDE Workspaces.
TeamIDE Workspaces
If you’re connected to TeamIDE’s cloud service, workspaces appear at the top:
- Workspaces group related repositories
- Show member count and your role
- Selecting a workspace shows its linked repositories
Roles: - Owner - Full control - Admin - Can manage members and settings - Member - Can access and contribute - Guest - Limited access
GitHub Projects
GitHub Projects v2 appear below workspaces:
- Shows project name and status
- Open projects have a dashboard icon
- Closed/archived projects have an archive icon
Action Buttons
The right side of the Top Bar contains action buttons.
Fetch / Pull / Push Button
This button changes based on your branch’s sync status:
| Button Label | Action |
|---|---|
| Fetch Origin | Check for remote changes |
| Pull (N) | Download N commits from remote |
| Push (N) | Upload N commits to remote |
Note: If you have uncommitted changes when pulling, TeamIDE automatically stashes them, pulls, and restores your changes.
Publish Button
Shows when your repository has no remote URL configured:
- Click “Publish”
- Choose to create on GitHub or add a custom remote URL
- For GitHub: Select owner, enter name, choose public/private
- Click Publish to push your code
Connection Status
The cloud icon shows your TeamIDE connection status:
| Icon | Status |
|---|---|
| Green cloud with checkmark | Connected |
| Orange cloud with arrows | Connecting |
| Grey cloud with X | Disconnected |
Collapse Button
Click the collapse button (far right) to hide the Top Bar and maximize your workspace. Click again to restore it.
Importing Local Repositories
To work with a repository from your local filesystem:
- Click the Repository selector
- Click “Import Local Repository…”
- Select a folder from your computer
- TeamIDE uploads the folder contents
- The repository appears in your Local repositories
Note: TeamIDE respects
.gitignore patterns when importing.
Publishing Local Repositories
To publish a local repository to GitHub:
- Select a local repository with no remote
- Click the “Publish” button
- Choose “Create on GitHub” or “Add Remote URL”
Create on GitHub
- Select the owner (your user or an organization)
- Enter a repository name
- Optionally add a description
- Choose Public or Private (default)
- Click “Create & Push”
Add Remote URL
- Paste the Git remote URL
- Click “Add Remote & Push”
Recent Repositories
When “All Owners” is selected, recently accessed repositories appear at the top of the list for quick access.
To disable recent repositories: 1. Open Settings 2. Navigate to General 3. Toggle off “Show Recent Repositories”
Keyboard Shortcuts
| Shortcut | Action |
|---|---|
| None currently | Top Bar uses mouse interaction |
Tips
- Quick switching: Use “All Owners” mode to quickly switch between repositories from different accounts
- Status at a glance: Check the git status indicators to see if you have uncommitted or unpushed changes
- Stay in sync: Click “Fetch Origin” regularly to check for remote changes
- Local development: Use “Import Local Repository” to work on projects not hosted on GitHub
Related
- Code Module - File editing after selecting a repository
- Terminal Module - Run commands in your repository
- Authentication - Managing GitHub accounts
Changelog
| Date | Change |
|---|---|
| 2026-02-02 | Initial documentation |