"Exporting" a project from a Git repository