Sane sub-repository management with Git