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.

---

Screenshots

List View	Kanban Board	Detail View

Explore live: prog init --demo seeds a sample project in under 10 seconds.

---

Install

Recommended — one-line installer (Linux/macOS)

curl -fsSL https://git.sovereign-society.org/ProGit/progit/raw/branch/main/scripts/install.sh | sh

This downloads the latest signed release binary from the sovereign Forgejo, verifies the SHA256 checksum and minisign signature, and installs to ~/.local/bin/. No dependencies beyond curl and common Unix utilities.

Verification: The checksum manifest is signed with Markus's minisign key (keys/progit-minisign.pub). The installer verifies both the binary checksum and the manifest signature before extracting.

AUR (Arch Linux)

yay -S progit-bin

Pre-built binary from the sovereign Forgejo, signed and verified. Available as progit-bin in the AUR. The PKGBUILD verifies both the binary SHA256 checksum and the minisign signature before installing.

Homebrew (Linux)

brew install ./contrib/homebrew/Formula/progit.rb

Or, once the tap repo is set up on the sovereign Forgejo:

brew tap ProGit/homebrew-progit https://git.sovereign-society.org/ProGit/homebrew-progit.git
brew install progit

The Homebrew formula installs the same signed release binary as the one-line installer. SHA256 is verified by Homebrew on install. Currently supports Linux x86_64 only — macOS and ARM Linux users should use the curl installer or cargo install progit.

crates.io

cargo install progit

Falls back to building from source. Binary size may differ.

Manual — download a release

Grab the signed archive from: https://git.sovereign-society.org/ProGit/progit/releases/tag/v0.8.4-beta

Verify with:

minisign -V -P "$(curl -fsSL https://git.sovereign-society.org/ProGit/progit/raw/branch/main/keys/progit-minisign.pub | tail -1)" \
  -x SHA256SUMS.minisig -m SHA256SUMS
sha256sum -c SHA256SUMS 2>/dev/null | grep prog
tar -xzf prog-0.8.4-beta-x86_64-unknown-linux-gnu.tar.gz
sudo mv prog /usr/local/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)
• : — command palette (:theme, :rebase, :diff, :plugin …)
• ? — 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