Hi Snehil, One general rule of thumb to follow is to do: 1. From branch 'develop' or wherever you want to create a new branch from, first create a new local branch (say) 'my_local_branch' and switch to it (git checkout -b my_local_branch) 2. And then download ticket to this branch (git trac pull TICKET_NUM).
However, it looks to me as though the problem is because of the proxy. You should talk to your systems administrator to get trac.sagemath.org (and the rest from git remote -v) unblocked or a way to bypass proxy as allowed. Best, Arpit. -- You received this message because you are subscribed to the Google Groups "sage-gsoc" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/sage-gsoc. For more options, visit https://groups.google.com/d/optout.
