Some 'project' to 'repo' renaming

The term 'project' is legacy. We should try to use it as little as
possible. It was replaced by 'repo' or 'repository' a long while ago.

During router refactoring I was asked about renaming 'project' to
'repo', so I wanted to follow up accordingly.

Release-Notes: skip
Change-Id: I8efca30543d4cf06be8c918b0a156221767e34fb
diff --git a/polygerrit-ui/app/constants/constants.ts b/polygerrit-ui/app/constants/constants.ts
index bb7b313..89c7622 100644
--- a/polygerrit-ui/app/constants/constants.ts
+++ b/polygerrit-ui/app/constants/constants.ts
@@ -22,7 +22,7 @@
   InheritedBooleanInfoConfiguredValue,
   MergeabilityComputationBehavior,
   ProblemInfoStatus,
-  ProjectState,
+  RepoState,
   RequirementStatus,
   ReviewerState,
   RevisionKind,
@@ -41,7 +41,7 @@
   InheritedBooleanInfoConfiguredValue,
   MergeabilityComputationBehavior,
   ProblemInfoStatus,
-  ProjectState,
+  RepoState,
   RequirementStatus,
   ReviewerState,
   RevisionKind,