[isabelle-dev] Build NEWS

[Florian Haftmann]

>> * As pointed out by Larry, navigation on the Jenkins pages is a
>> pain. I've revamped the status page with helpful links to the build 
>> outputs of the various jobs and instructions on how to use the
>> testboard:
>>
>>   <https://ci.isabelle.systems/status/>

Ah, excellent.

Just two remarks:

* The URLs to push to are IMHO best presented using an hgrc excerpt, e.g.

> [paths]
> testboard = ssh://hg@bitbucket.org/isa-afp/afp-testboard
>
> [alias]
> push_to_testboard = push -f testboard

That way the risk for accidental pushes is greatly reduced

* AFAIS, pushing to the Isabelle testboard still requires local access
rights at TUM.  Are there any fundamental impediments to lift this
restriction?

Cheers,
	Florian


> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
> 

-- 

PGP available:
http://isabelle.in.tum.de/~haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 819 bytes
Desc: OpenPGP digital signature
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20160613/419d00f4/attachment.sig>