On Sat, 18 Jan 2014 05:02:56 +0000 "Robin H. Johnson" wrote: > FYI: The following repos appeared to be empty: > ... > dev/tomwij.git > ... Not empty, has app-office/taskjuggler and dev-java/jetty-*; did a check against my local clone, and `git ls-tree --full-tree -r HEAD | sha1sum` reports the same, the same goes for `git log | sha1sum`. You can assume this repository to be in good enough state, perhaps it is because of the different case of the letters that this was a mismatch; anyhow, thank you for a detailed analysis and data recovery. -- With kind regards, Tom Wijsman (TomWij) Gentoo Developer E-mail address : TomWij@gentoo.org GPG Public Key : 6D34E57D GPG Fingerprint : C165 AF18 AB4C 400B C3D2 ABF0 95B2 1FCD 6D34 E57D