Source and release status

BNLGit is the open-source foundation of ProofGit ↗.

Source release in preparation · AGPL-3.0-or-later

The source has not been released publicly yet. There is no repository to clone and no downloadable community edition today. This page will change when that fact changes.

What is decided

• The foundation is called BNLGit.
• Its planned licence is AGPL-3.0-or-later.
• ProofGit is the commercial code-intelligence product built on BNLGit.
• Source and release status live here at bnlgit.com.

What is not yet available

• A public source repository.
• Tagged community releases or installable packages.
• A published support or compatibility promise for a community edition.

Those are release deliverables, not marketing promises. We will add links only after the corresponding public artifacts exist.

Looking for the product?

Commercial plans, the available hosted product, and product documentation are at proofgit.com ↗.

For the intended boundary between the open-source foundation and commercial product, see Edition boundary.