Edition boundary
BNLGit and ProofGit have different jobs.
| Surface | Role | Current public state |
|---|---|---|
| BNLGit | Open-source foundation | Source release in preparation under AGPL-3.0-or-later |
| ProofGit | Commercial code-intelligence product and hosted experience | Available now at proofgit.com ↗ |
BNLGit
BNLGit will hold the open-source foundation. The public source tree, tagged releases, build instructions, and compatibility statement are not published yet. Until they exist, this site does not offer a clone link or call the source available.
ProofGit
ProofGit is built on BNLGit, its open-source foundation; source and release status live at bnlgit.com.
ProofGit owns the commercial product experience: hosted operation, customer onboarding, commercial plans, product documentation, and support. Continue to ProofGit ↗ for those surfaces.
Release contract
When the source release is ready, this page will identify the public repository, exact licence files, first tag, installation path, and which capabilities belong to the foundation. Until then, the only accurate status is in preparation.
Something here wrong or missing? Mail docs@bnlgit.com — these pages are the public source of truth for BNLGit release status.