Git Manager

Your repositories on this server, without leaving the browser.

v1.4.2 🧰 Developer Tools 💎 Premium available developergitsource-control

No ratings yet

Download

About

Git Manager finds the git repositories on the machine and gives each one the working surface you would otherwise get from a terminal: branch switching, pull, push, fetch, a diff of what changed, and a commit box. It also handles the part that usually blocks a fresh server — SSH keys. Generate an ed25519 key, copy the public half, paste it into GitHub or GitLab, and test the connection from the same window. Every profile can manage the repositories it owns. Repositories belonging to other profiles still appear, clearly locked and without exposing their status, history, files or remotes. Normally you switch to the owner profile to work with one. With Premium, a sudo-capable user confirms their own password once and unlocks all repositories for the current session, while Git commands continue to run as each repository's real owner.

What it does

Auto-detect git repositories on the machine, with a sidebar to switch between them.
Clone a repository from a URL, or initialise a new one with an optional remote.
Switch branches, including remote branches, or create a new one by name from the toolbar at any time.
Pull, push and fetch, with ahead/behind counts. Push sets the upstream automatically the first time a new branch is pushed.
A small badge next to the branch name shows when the current branch has not been pushed anywhere yet.
See changed files and the diff for each.
Commit all changes with a message (Ctrl+Enter to send).
Discard changes in one file or in the whole tree.
Commit log per repository.
Generate an ed25519 SSH key, copy the public key, and test the connection to GitHub, GitLab or any other host.
See repositories owned by other profiles as locked entries, and either switch to the owner profile or unlock all of them from one place with Premium and sudo confirmation.

💎 With Premium

Cross-profile repository access

Git Manager always shows that repositories owned by other system profiles exist, but keeps their status, history, files, remotes and actions locked. With Premium, a sudo-capable user confirms their own password once and unlocks every repository for the current mvmOS session, while each Git command still runs as the repository's real owner. Without Premium, nothing is lost: sign in to the corresponding owner profile and manage the same repository there.

GitHub Issues

View open and closed GitHub Issues, inspect their details and comments, create new issues, edit an issue's title and body afterwards, and close or reopen them. Issue bodies and comments render as Markdown, including clickable task-list checkboxes that save back to GitHub the moment you check or uncheck one — no need to open the editor. A formatting toolbar (headings, bold, italic, quote, code, links, lists, checklists) is available whenever you're writing or editing an issue. Each issue has its own user/issue<number> branch: opening the issue switches to it if it already exists locally, offers to download it if it only exists on the remote, or leaves you on the repository's default branch until you create the branch yourself with one click — it is never created without asking. Authentication works with either an existing GitHub CLI login or a per-user fine-grained GitHub API token with Issues access.

Pull Requests

Once you're on an issue's own branch, open a pull request straight from Git Manager: choose the source and target branch (defaulting to the issue's branch and the repository's default branch), edit the title and description — prefilled from the issue — and see any pull requests that already target the same branch before opening another. The branch is pushed automatically first if it hasn't been pushed yet, and the finished pull request opens on GitHub to review and merge.

About Premium

Reviews

Reviews and ratings are written from the App Store of an installed mvmOS system.

No reviews yet.