[isabelle-dev] Mira / AFP configuration problem?

[Florian Haftmann]

> That is due to a typo in /home/isabelle-repository/repos/afp/hg/.hgrc.
> Whatever script is responsible for updating this repository (AFAIK, it
> is not mira) did apparantely not make any noise.

This should be the mira instance /home/isatest/testbench-main, AFAIU.

> BTW: There are some uncommitted changes (to .hgignore) laying around in
> this repository. This looks very wrong to me.

Indeed:

> diff -r 5040da2defa5 .hgignore
> --- a/.hgignore	Tue Nov 23 23:12:20 2010 +0100
> +++ b/.hgignore	Mon Jun 10 20:22:23 2013 +0200
> @@ -1,7 +1,7 @@
>  syntax: glob
>  
> -thys/Collections/generated
> -thys/Huffman/generated
> +*~
> +.DS_Store
>  
>  thys/Tree-Automata/code/haskell/generated/Nat.hs
>  thys/Tree-Automata/code/haskell/generated/Ta.hs
> @@ -20,3 +20,13 @@
>  thys/ClockSynchInst/document/bound_prec_enh.ics
>  thys/ClockSynchInst/document/bound_prec_enh4.cvc
>  thys/ClockSynchInst/document/bound_prec_enh7.cvc
> +
> +thys/Well_Quasi_Orders/generated/
> +
> +thys/JinjaThreads/Execute/JVM_Execute2.ML
> +thys/JinjaThreads/Execute/JWellForm.ML
> +thys/JinjaThreads/Execute/J_Execute.ML
> +thys/JinjaThreads/JVM_Execute2.ML
> +thys/JinjaThreads/JWellForm.ML
> +thys/JinjaThreads/J_Execute.ML
> +

Any idea about that?

Btw. somebody with administrative privileges could normalize ownership
of this repository to isatest:isabelle

> BTW2: The checked out version there is very old (from 2010) -- should it
> be more current?

This seems to be an accident -- repos under /home/isabelle-repository
are always supposed to be »bare«

	Florian

-- 

PGP available:
http://home.informatik.tu-muenchen.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: 261 bytes
Desc: OpenPGP digital signature
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20130610/ffbe3911/attachment.asc>