"does anybody embed the git tag..." <- `pub const GIT_SHA: [u8; 4] = hex_literal::decode(&[env!("VERGEN_GIT_SHA").as_bytes()]);` with `git config core.abbrev 8` seems to work