Checked projects and re-synthesised them to verify still OK post migration to Git repo