diff options
| author | Michael Niedermayer <michael@niedermayer.cc> | 2015-08-03 11:56:31 +0200 |
|---|---|---|
| committer | Michael Niedermayer <michael@niedermayer.cc> | 2015-08-03 19:33:46 +0200 |
| commit | 2ca0ed9cfda21c8a6f9884b93613602782dcda71 (patch) | |
| tree | 6af67893c33d5b9ce13723b6e8e269c403c5be10 | |
| parent | 5d324dae114e7abbb7f52f8853283b25302a2cd9 (diff) | |
| download | ffmpeg-2ca0ed9cfda21c8a6f9884b93613602782dcda71.tar.gz | |
doc/git-howto: Replace "git push" example by one with dry-run
I do not think having "git push" as example is a good idea.
The command has a very high chance of pushing things which are unwanted to be
pushed
Reviewed-by: Carl Eugen Hoyos <cehoyos@ag.or.at>
Signed-off-by: Michael Niedermayer <michael@niedermayer.cc>
| -rw-r--r-- | doc/git-howto.texi | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/doc/git-howto.texi b/doc/git-howto.texi index b7b5d43480..b3c8ff00eb 100644 --- a/doc/git-howto.texi +++ b/doc/git-howto.texi @@ -326,10 +326,12 @@ faulty commit disappear from the history. @section Pushing changes to remote trees @example -git push +git push origin master --dry-run @end example -Will push the changes to the default remote (@var{origin}). +Will simulate a push of the local master branch to the default remote +(@var{origin}). And list which branches and ranges or commits would have been +pushed. Git will prevent you from pushing changes if the local and remote trees are out of sync. Refer to @ref{Updating the source tree to the latest revision}. |