Skip to main content

GIT_METADATA

Constant GIT_METADATA 

Source
pub const GIT_METADATA: &str = ".git";
Expand description

git’s own metadata directory (crates/kernel/spec/Address.lean §8-73). Writing it is privilege escalation: a hook is code that runs at the next git operation, a config key can start a program, and the checkpoint references and the restoration objects a file_discarded names all live in there.