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
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
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
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
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
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
> 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
>
> > 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
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 (
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
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.
11 matches
Mail list logo