2017-02-28 22:16 GMT+01:00 Christian Borntraeger <borntrae...@de.ibm.com>:
> The given workflow requires that there is no other push between the pull
> and the push. If for some reason somebody else pushes some update after
> you have commited, you can recover with a rebase. There is a nice combine
> of pull + rebase:
> git pull --rebase
> and I think we might just want to document that.

Definitely yes. Would you mind suggesting something like
docs/internals/git-HOWTO.txt,
possibly taking into account existing docs/internals/svn-HOWTO.txt.

Thank you,
I.

------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, SlashDot.org! http://sdm.link/slashdot
_______________________________________________
Valgrind-users mailing list
Valgrind-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/valgrind-users

Reply via email to