On Tue, Feb 02, 2016 at 03:25:37PM +0000, Michael Crusoe wrote: > Interestingly there is already a git repo for mira; last commit is from > 2010. I'm moving it from /git/debian-med/mira.git > to /git/debian-med/mira-old.git Ohh, I guess if it is >5 years old even removing should be fine (if you give the person who created it some final warning). Thanks for your work on this Andreas. -- http://fam-tille.de