diff --git a/Documentation/error-messages.txt b/Documentation/error-messages.txt
index 6685ea19fa..58e9e026cd 100644
--- a/Documentation/error-messages.txt
+++ b/Documentation/error-messages.txt
@@ -26,13 +26,13 @@ Error Messages
 * link:error-no-new-changes.html[no new changes]
 * link:error-non-fast-forward.html[non-fast forward]
 * link:error-not-a-gerrit-administrator.html[Not a Gerrit administrator]
-* link:error-not-a-gerrit-project.html[not a Gerrit project]
 * link:error-not-permitted-to-create.html[Not permitted to create ...]
 * link:error-not-signed-off-by.html[not Signed-off-by author/committer/uploader in commit message footer]
 * link:error-not-valid-ref.html[not valid ref]
 * link:error-change-upload-blocked.html[One or more refs/for/ names blocks change upload]
 * link:error-permission-denied.html[Permission denied (publickey)]
 * link:error-prohibited-by-gerrit.html[prohibited by Gerrit]
+* link:error-project-not-found.html[Project not found: ...]
 * link:error-squash-commits-first.html[squash commits first]
 * link:error-upload-denied.html[Upload denied for project \'...']
 * link:error-not-allowed-to-upload-merges.html[you are not allowed to upload merges]
diff --git a/Documentation/error-not-a-gerrit-project.txt b/Documentation/error-project-not-found.txt
similarity index 96%
rename from Documentation/error-not-a-gerrit-project.txt
rename to Documentation/error-project-not-found.txt
index 58919d5bee..3fc01414ad 100644
--- a/Documentation/error-not-a-gerrit-project.txt
+++ b/Documentation/error-project-not-found.txt
@@ -1,5 +1,5 @@
-not a Gerrit project
-====================
+Project not found: ...
+======================
 
 With this error message Gerrit rejects to push a commit if the git
 repository to which the push is done does not exist as a project in