synchronizing in fake lepton group. why is this a separate git folder?