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