chiark / gitweb /
dgit: remove_stray_gits: Print a slightly better message