[isabelle-dev] Build NEWS

Ondřej Kunčar kuncar at in.tum.de
Mon Jun 13 19:58:30 CEST 2016


On 06/13/2016 07:48 PM, Lars Hupel wrote:
>> * AFAIS, pushing to the Isabelle testboard still requires local access
>> > rights at TUM.  Are there any fundamental impediments to lift this
>> > restriction?
> Yes. I have been arguing that we should move the official Isabelle
> repository to Bitbucket for a while. If you too want this to happen,
> please say so loud and clear here, so that my lobbying efforts carry
> more weight :-)

As far as I understand it, to solve the problem that Florian mentioned, 
it would be enough to move only the testboard repository to Bitbucket. I 
wouldn't have anything against it.

Bests,
Ondrej



More information about the isabelle-dev mailing list