Mention that git-rm can be an appropriate resolution as well as git-add.

Especially when using git-cherry-pick, removing files that are unmerged can be
a logical action. This patch merely changes the informative text to be less
confusing.

Signed-off-by: David Symonds <dsymonds@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>

builtin-revert.c

@@ -234,7 +234,7 @@ static char *help_msg(const unsigned char *sha1)
 
 	strcpy(helpbuf, "  After resolving the conflicts,\n"
 	       "mark the corrected paths with 'git add <paths>' "
-	       "and commit the result.");
+	       "or 'git rm <paths>' and commit the result.");
 
 	if (action == CHERRY_PICK) {
 		sprintf(helpbuf + strlen(helpbuf),