ProGit

Terminal-native project management for git repositories
Data-first workflow, local-first by default.

---

What is ProGit?

ProGit is a terminal-first platform for:

• local issue tracking stored as JSON in .project/issues/*.json
• Kanban board and sprint planning
• merge request review workflows and code-level comments
• forge sync (Forgejo/GitLab) on demand
• virtual branches and interactive rebase
• local-first AI actions (Ollama)
• plugin runtime with a marketplace and premium plugins
• release-gate quality checks via Sober integration

No cloud DB. No hidden state. Your data belongs in your repo and git history.

Typical launch path: default to terminal UI (prog) and use CLI subcommands for sync, plugins, and admin tasks.

---

Install

Recommended installer (Linux/macOS)

curl -fsSL https://progit.dev/install.sh | sh

This installs a released binary and verifies minisign when available. On most systems it lands in ~/.local/bin or ~/bin; if needed, confirm that one of those paths is on your PATH.

Homebrew (macOS/Linux)

brew install sovereign-society/tap/progit

Arch Linux (AUR)

paru -S progit-bin
# or
yay -S progit-bin

From source

git clone https://git.sovereign-society.org/ProGit/progit
cd progit
cargo build --release
./scripts/link-user-bin.sh target/release/prog

./scripts/link-user-bin.sh creates ~/bin/prog, which avoids stale /usr/local/bin binaries shadowing your current release.

Verify:

prog --version

---

Quick start

cd your-project/      # must be a git repo
prog init             # creates .project/ and .project/issues/
prog                  # launches the TUI

Inside the TUI:

• Tab — switch modes (Issues, Kanban, MRs, Dashboard)
• j/k — move selection
• n — new issue
• Ctrl+P — fuzzy palette (issues, files, commits, commands)
• ? — help
• q — quit

---

Useful CLI

prog --help
prog sync push            # push local issues to configured forge
prog sync pull            # pull issues from configured forge
prog remote doctor        # pre-flight host checks
prog plugin search <q>    # search marketplace
prog plugin install <name>
prog plugin update

Plugins are first-class command namespaces:

prog plugin sober route list
prog plugin sober-raccoon route list

---

What's new in 0.8.x

• Plugin commands are now command-chain-native via manifest contributions.
• Sober gates are callable from ProGit for deterministic, safer release checks.
• Signed release artifacts and slimmer binary release handling keep the default binary under the 7 MB doctrine budget.
• Source builds are linked to ~/bin/prog by default.

For release notes and history, read CHANGELOG.md.

---

Documentation

• Website
• Docs
• SDK
• Plugins
• Plugin SDK Guide
• Contributing

---

Contributing

Contributions are welcome. Use normal Git workflow and open MRs against the main branch.

• Issue Tracker
• Source Repository

---

License

• Core TUI: LCL-1.0
• Plugin SDK / SDK-facing APIs: LSL-1.0
• Documentation: LUL-1.0
• Proprietary enterprise support: LVL-1.0

---

Made by Sovereign Society