Re: [sage-devel] removing the dev scripts

2015-05-12 Thread Nicolas M. Thiery
On Fri, May 08, 2015 at 07:56:51AM +0200, Jeroen Demeyer wrote: > On 2015-05-07 22:36, Volker Braun wrote: > >We could add "git trac" as a standard package now, I haven't made any > >changes outside of the release management stuff in a while This would be nice! As well as for configuration-fre

Re: [sage-devel] removing the dev scripts

2015-05-09 Thread Dima Pasechnik
On Friday, 8 May 2015 06:56:56 UTC+1, Jeroen Demeyer wrote: > > On 2015-05-07 22:36, Volker Braun wrote: > > We could add "git trac" as a standard package now, I haven't made any > > changes outside of the release management stuff in a while > > It's not just about installing them, it's al

Re: [sage-devel] removing the dev scripts

2015-05-09 Thread Jeroen Demeyer
On 2015-05-08 10:26, Vincent Delecroix wrote: What about explicit deprecation of the scripts that modifies tickets/remote git branches? I agree 100% with *deprecating* the dev scripts, I was just complaining about *removing* them. -- You received this message because you are subscribed to the

Re: [sage-devel] removing the dev scripts

2015-05-08 Thread Vincent Delecroix
On 08/05/15 07:56, Jeroen Demeyer wrote: > On 2015-05-07 22:36, Volker Braun wrote: >> We could add "git trac" as a standard package now, I haven't made any >> changes outside of the release management stuff in a while > > It's not just about installing them, it's also about making it work > w

Re: [sage-devel] removing the dev scripts

2015-05-07 Thread Jeroen Demeyer
On 2015-05-07 22:36, Volker Braun wrote: We could add "git trac" as a standard package now, I haven't made any changes outside of the release management stuff in a while It's not just about installing them, it's also about making it work without configuration: $ ./sage --git trac checkou

Re: [sage-devel] removing the dev scripts

2015-05-07 Thread Dima Pasechnik
On Thursday, 7 May 2015 22:47:41 UTC+1, Nathann Cohen wrote: > > > Were they already deprecated, though? In that event there should be a > > well-defined time at which they could be removed. > > The documentation has been removed in #17555. If I remember correctly, > the associated sage-devel

Re: [sage-devel] removing the dev scripts

2015-05-07 Thread Nathann Cohen
> Were they already deprecated, though? In that event there should be a > well-defined time at which they could be removed. The documentation has been removed in #17555. If I remember correctly, the associated sage-devel thread settled on something like "we stop advertising them but will keep the

Re: [sage-devel] removing the dev scripts

2015-05-07 Thread kcrisman
> > > Hello, > > > > dev script are a mess (see #18356). Could I remove everthing in > > sage/dev/ that is related to communication with the git server or the > > trac server? > Were they already deprecated, though? In that event there should be a well-defined time at which they could be r

Re: [sage-devel] removing the dev scripts

2015-05-07 Thread Volker Braun
We could add "git trac" as a standard package now, I haven't made any changes outside of the release management stuff in a while On Thursday, May 7, 2015 at 12:31:46 PM UTC+2, Jeroen Demeyer wrote: > > On 2015-05-07 12:06, Vincent Delecroix wrote: > > Hello, > > > > dev script are a mess (

Re: [sage-devel] removing the dev scripts

2015-05-07 Thread Jeroen Demeyer
On 2015-05-07 12:06, Vincent Delecroix wrote: Hello, dev script are a mess (see #18356). Could I remove everthing in sage/dev/ that is related to communication with the git server or the trac server? Please don't! I still use the dev script occasionally for read-only access to the Trac serve

[sage-devel] removing the dev scripts

2015-05-07 Thread Vincent Delecroix
Hello, dev script are a mess (see #18356). Could I remove everthing in sage/dev/ that is related to communication with the git server or the trac server? The function would provide help and links to the documentation instead. I also want to keep the import-patch feature that is definitely useful.