One doc tagged with "Repo"

From the perspective of version control, in the old full-end era, we usually had one Git Repository per project, so we called Repository a project.