[sage-devel] Re: Some quick git tips

2016-05-12 Thread Arpit Merchant
Hi, I was wondering... So, I have my local install of Sage 7.1 from source. I > didn't get the source using git, I downloaded it from the website. I've > made a local repository for Sage on my computer, and also made a remote > repository for it on my github. However, I don't think it is

[sage-devel] Re: Some quick git tips

2016-05-12 Thread Volker Braun
The developer guide has a lot of material about git: http://doc.sagemath.org/html/en/developer/index.html On Thursday, May 12, 2016 at 7:06:36 AM UTC+2, saad khalid wrote: > > Hey guys: > > I was wondering... So, I have my local install of Sage 7.1 from source. I > didn't get the source using