2010/10/4 Sidney Markowitz <sidney@sidney.com>:
Andras Timar wrote, On 5/10/10 10:05 AM:
Please git pull -r
What does the -r option do? I tried git help pull, and man git and man
git-pull and googling for git man pages on other platforms and none of them
said anything about a -r option.
The switch -r first applies the changes that were made on origin
(since your branch was checked out), then applies your changes on top
of the current origin. The prevents an extra commit to merge your
branch with origin, and keeps the git history cleaner.
If you do not modify the files, then it does not matter.
Best regards,
Andras
Context
Privacy Policy |
Impressum (Legal Info) |
Copyright information: Unless otherwise specified, all text and images
on this website are licensed under the
Creative Commons Attribution-Share Alike 3.0 License.
This does not include the source code of LibreOffice, which is
licensed under the Mozilla Public License (
MPLv2).
"LibreOffice" and "The Document Foundation" are
registered trademarks of their corresponding registered owners or are
in actual use as trademarks in one or more countries. Their respective
logos and icons are also subject to international copyright laws. Use
thereof is explained in our
trademark policy.