2014-11-05 12:37 UTC−06:00, Emmanuel Charpentier <emanuel.charpent...@gmail.com>: > > > Le mercredi 5 novembre 2014 19:15:27 UTC+1, vdelecroix a écrit : >> >> What is the point of doing git fetch followed by git pull ? > > > Seemed to be the mos treamlined to keep my tree up to date... >
git pull should be enough. >> Note that >> with git fetch (or git pull) you download *all* the remote branches on >> the trac server while you seemed only interested to pull the develop >> branch. You should have done >> >> git pull trac develop >> >> where trac is the name you choose for the remote git server at >> trac.sagemath.org. >> >> You should really learn git before using it ;-) > The name "trac" I used in my example depends on your configuration. It is the name you used to define the remote server trac.sagemath.org. It might also be "origin" or even something else. To know the name that you need to put instead of "trac" you need to run git remote -v (this will output the list of the declared remote servers). You can then do git pull NAME_OF_THE_SERVER develop to update only the main development branch. Best Vincent -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
