[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