> $ 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)
signature.asc
Description: OpenPGP digital signature
_______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
