Constant DEVPRUNE_IGNORE_FILE 

pub const DEVPRUNE_IGNORE_FILE: &str = "ignore.devprune.json";

Filename that, when present in a repo root, causes dev-prune to skip that repo entirely.

Create this file with: touch ignore.devprune.json