pub const PROJECT_REPO_CONFIG_FILE: &str = "project.devprune.json";Expand description
Name of the committed, team-wide half of a repository’s configuration.
Same shape and same schema as PER_REPO_CONFIG_FILE, and the opposite intent.
.devprune.json is written into .git/info/exclude so one person’s answer stays one
person’s; this one is meant to be git add-ed, so that “nobody prunes this
repository” is a fact a fresh clone already knows rather than something every
teammate has to be told. The project. prefix rather than a new extension is what
keeps one JSON schema covering both files.