Re: [sage-devel] Re: Unable to build sage after git trac config

2020-01-31 Thread Vipul Gupta
Thanks you very much for your guidelines. It solved my problem. Regards Vipul Gupta On Thu, 30 Jan, 2020, 9:25 pm Dima Pasechnik, wrote: > > > On Thu, 30 Jan 2020, 15:37 Vipul Gupta, > wrote: > >> Yeah I am familiar with github and its features. But I am not sure how to >> incorporate ticket fe

[sage-devel] Re: Unable to build sage after git trac config

2020-01-30 Thread John H Palmieri
On Wednesday, January 29, 2020 at 3:04:12 PM UTC-8, Vipul Gupta wrote: > > Hello, > I am using Ubuntu 18.04.3 LTS with sage version 9.1 beta 2 > After using below command > git clone git://github.com/sagemath/sage.git > cd sage > git checkout develop > make > Okay up to here. Before doing the n

Re: [sage-devel] Re: Unable to build sage after git trac config

2020-01-30 Thread Dima Pasechnik
On Thu, 30 Jan 2020, 15:37 Vipul Gupta, wrote: > Yeah I am familiar with github and its features. But I am not sure how to > incorporate ticket features of sage issues and contribute to them? > Briefly, I want to ask how to work with tickets using git only. There are > no clear manuals for this a

Re: [sage-devel] Re: Unable to build sage after git trac config

2020-01-30 Thread Vipul Gupta
Yeah I am familiar with github and its features. But I am not sure how to incorporate ticket features of sage issues and contribute to them? Briefly, I want to ask how to work with tickets using git only. There are no clear manuals for this also. Regards Vipul Gupta On Thu, 30 Jan, 2020, 9:01 pm D

[sage-devel] Re: Unable to build sage after git trac config

2020-01-30 Thread Simon King
Hi Dima, On 2020-01-30, Dima Pasechnik wrote: > I think git-trac should not be mentioned in the manual as the preferred way > to use git. OK. Stating that "being able to use plain git is a useful skill" is fine, and of course elaborating how to use plain git to work with trac is fine, too. But p

Re: [sage-devel] Re: Unable to build sage after git trac config

2020-01-30 Thread Dima Pasechnik
Are you familiar with using github server and CLI to checkout specific branches and pushing into a github repo? (there are excellent tutorials on this). In fact, you can create your own fork of sagemath on github and practice there. Our workflow is similar, except that it has a much cruder web in

Re: [sage-devel] Re: Unable to build sage after git trac config

2020-01-30 Thread Vipul Gupta
Can someone help me with guidelines to make contribution using only git? Regards Vipul Gupta On Thu, 30 Jan, 2020, 7:45 pm Dima Pasechnik, wrote: > I think git-trac should not be mentioned in the manual as the preferred > way to use git. > > Imho the majority of devs here use plain git... > > On

Re: [sage-devel] Re: Unable to build sage after git trac config

2020-01-30 Thread Dima Pasechnik
I think git-trac should not be mentioned in the manual as the preferred way to use git. Imho the majority of devs here use plain git... On Thu, 30 Jan 2020, 14:07 David Roe, wrote: > > > On Thu, Jan 30, 2020 at 7:35 AM Simon King wrote: > >> Hi Eric, >> >> On 2020-01-30, Eric Gourgoulhon wrot

Re: [sage-devel] Re: Unable to build sage after git trac config

2020-01-30 Thread David Roe
On Thu, Jan 30, 2020 at 7:35 AM Simon King wrote: > Hi Eric, > > On 2020-01-30, Eric Gourgoulhon wrote: > > I would even vote for removing the git-trac section from the developer > > manual. > > -1 > > I do use "git trac". > Agreed. I would absolutely not advocate removing git-trac from the ma

[sage-devel] Re: Unable to build sage after git trac config

2020-01-30 Thread Simon King
Hi Eric, On 2020-01-30, Eric Gourgoulhon wrote: > I would even vote for removing the git-trac section from the developer > manual. -1 I do use "git trac". Best regards, Simon -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe fr