[TUHS] qed-archive - please reclone

[Steffen Nurpmeso]

arnold at skeeve.com wrote in <201901301622.x0UGMpP0028555 at freefriends.org>:
 |Hi All.
 |
 |I had a bad commit message in the qed-archive I mentioned here a few weeks
 |ago.  I fixed it with a 'git push --force' (even though that's not
 |recommended) since I expect it to be a read-only archive going forward,
 |and I wanted it to be right.
 |
 |In short, if you cloned it, please remove your copy and reclone.

Just "fetch -f" over your "push -f" commits, no need to reclone.

 --End of <201901301622.x0UGMpP0028555 at freefriends.org>

--steffen
|
|Der Kragenbaer,                The moon bear,
|der holt sich munter           he cheerfully and one by one
|einen nach dem anderen runter  wa.ks himself off
|(By Robert Gernhardt)