The "dont-commit" setting:

If enabled, prevent committing to this repository, as an extra precaution against accidentally checking in to a repository intended to be read-only.

REDUCE Historical
REDUCE Sourceforge Project | Historical SVN Repository | GitHub Mirror | SourceHut Mirror | NotABug Mirror | Chisel Mirror | Chisel RSS ]