But everytime I need to update, I will have to do $ git pull trac develop
while if I set the "default remote branch" to trac/develop or something like that, I could just say: $ git pull while in the branch, right? Am I missing something, in that, there is something called tracking a remote branch as described in "Tracking Branches" section here: http://git-scm.com/book/en/Git-Branching-Remote-Branches? With Sincere Regards, Kannappan. On Thu, May 1, 2014 at 4:01 PM, Vincent Delecroix <20100.delecr...@gmail.com > wrote: > Of course, I assumed that you have trac declared as a remote git > server. You can check that with > > $ git remote -v > trac g...@trac.sagemath.org:sage.git (fetch) > trac g...@trac.sagemath.org:sage.git (push) > > 2014-05-01 12:29 UTC+02:00, Vincent Delecroix <20100.delecr...@gmail.com>: > > Hi, > > > > Be sure that you are in your develop branch on your machine. Then do > > > > $ git pull trac develop > > > > Or alternatively > > > > $ git fetch trac develop > > $ git merge FETCH_HEAD > > > > That way your local branch get updated with the one on trac. > > > > Vincent > > > > 2014-05-01 12:26 UTC+02:00, Kannappan Sampath <kntri...@gmail.com>: > >> Hello sage-devel: > >> > >> Nathann has kindly helped me a lot making me feel at home with git+sage > >> stuff. I have one problem facing me. I have a local "develop" branch. I > >> would like that to track the remote trac's develop branch... > >> > >> How do I do this? > >> > >> With Sincere regards, > >> Kannappan. > >> > >> -- > >> 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. > >> > > > > -- > 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. > -- 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.