index 2bd58d3fd8aefb68d1d49c099805178b02c4218c..fa94efde8dfd75a4eee7ddd62f110d5da39ef360 100644 (file)
$ 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.