Hi Bruce, On Wed, May 30, 2018 at 10:19 AM, Bruce <brucewestb...@gmail.com> wrote: > I think I have my branches sorted out. However I still don't see > any of the three files I committed in my local system.
Then you are perhaps on the wrong branch currently. You can switch branches (provided that you don't have uncommitted/unstaged changes) by using "git checkout [the branch you want to switch to]". >> > Third, moving forward, could someone please tell me the >> > correct usage of git commit and git push commands? > > > Yes, I understand how to use git add and git commit locally. > I am not confident about working with a remote branch. Ah, I forgot about git push. So "git push trac [local branch]:[remote branch]" pushes your local branch to a remote branch on the trac server. In your case, [remote branch] is "u/Bruce/path_tableaux", so you should do "git push trac [local branch]:u/Bruce/path_tableaux". There are shortcuts for this, but I never habituated myself to them. Best regards, Darij -- You received this message because you are subscribed to the Google Groups "sage-combinat-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-combinat-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-combinat-devel@googlegroups.com. Visit this group at https://groups.google.com/group/sage-combinat-devel. For more options, visit https://groups.google.com/d/optout.
