@average-vr-56795: i think 1) the scripts that produce the binaries 2) the root hash for the

Directory

are the things that really need to be in git