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