Document that we don't sync git repos