diff options
| -rw-r--r-- | Documentation/cvs-migration.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/cvs-migration.txt b/Documentation/cvs-migration.txt index 2bd58d3fd..fa94efde8 100644 --- a/Documentation/cvs-migration.txt +++ b/Documentation/cvs-migration.txt @@ -140,7 +140,7 @@ You can update the shared repository with your changes using: $ git push origin master ------------------------------------------------ -If some else has updated the repository more recently, `git push`, like +If someone else has updated the repository more recently, `git push`, like `cvs commit`, will complain, in which case you must pull any changes before attempting the push again. |