Re: [sage-devel] "pulling" an older branch from the develop tree

2019-12-30 Thread Michael Orlitzky
On 12/30/19 3:33 PM, 'Justin C. Walker' via sage-devel wrote: > I did not been pay close attention to the details of working with the develop > tree and other repositories, and have a question: > > I would like to be able to clone an earlier sage release than what’s at the > top of the tree. A

[sage-devel] "pulling" an older branch from the develop tree

2019-12-30 Thread 'Justin C. Walker' via sage-devel
I did not been pay close attention to the details of working with the develop tree and other repositories, and have a question: I would like to be able to clone an earlier sage release than what’s at the top of the tree. After poking the documentation, I think this would clone the previous re