William Stein <wst...@gmail.com> writes:
> On Thu, Mar 15, 2012 at 9:22 AM, Keshav Kini <keshav.k...@gmail.com> wrote:
>> Jason Grout <jason-s...@creativetrax.com> writes:
>>> On 3/15/12 10:10 AM, Jeroen Demeyer wrote:
>>>>> Do you have your merger script under any kind of revision control?
>>>> No.
>>>
>>> It might make sense to include these scripts with Sage, managed under
>>> the sage root repository, for example, or in sage/local/bin.
>>
>> Is the merger script realistically "part of Sage"? Only one person
>> actually runs it. (On the other hand we also ship MoinMoin for some
>> reason, even though only one person runs that, too.)
>
> I thought MoinMoin will soon be removed from Sage.

There was some discussion about it but I don't think anyone opened a ticket.

>> And with the
>> current state of our repositories, putting it under revision control in
>> one of them might hurt more than it helps...
>
> I definitely think the release management scripts should be shipped with Sage.
> Your argument against it is:
>
>   (1) Only one person runs them,
>
> which is silly, since this conversation started because more than one
> person wants to run them, and
>
>   (2) Our repository sucks, so why bother,
>
> which is just counterproductive.

I'm not arguing against shipping it with Sage. I just brought up some
possible reasons why one might not want to do so. The reason I asked
whether it was in some repo was that if so, I should be committing to
that repo if I change anything.

Anyway, you're right that complaining that "our repository sucks so why
bother" is counterproductive. Sorry. The alternative is of course to
make our repository suck less, which I will continue to push for...

-Keshav

----
Join us in #sagemath on irc.freenode.net

-- 
To post to this group, send an email to sage-devel@googlegroups.com
To unsubscribe from this group, send an email to 
sage-devel+unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sage-devel
URL: http://www.sagemath.org

Reply via email to