[isabelle-dev] »Disk quota exceeded« when pushing to testboard

[Florian Haftmann]

> $ LC_ALL=C hg push
> pushing to ssh://haftmann@isabelle-server//mnt/tmp/isatest/repositories/isabelle
> remote: not trusting file /mnt/tmp/isatest/repositories/isabelle/.hg/hgrc from untrusted user i21isatest, group isabelle
> remote: not trusting file /mnt/tmp/isatest/repositories/isabelle/.hg/hgrc from untrusted user i21isatest, group isabelle
> searching for changes
> remote has heads on branch 'default' that are not known locally: 0297b911dcbe 0d9135dc3460 0dd788cb881f 10cab999f175 and 26 others
> remote: adding changesets
> remote: adding manifests
> remote: adding file changes
> remote: transaction abort!
> remote: rollback completed
> remote: abort: Disk quota exceeded
> abort: stream ended unexpectedly (got 0 bytes, expected 4)


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