Am Thu, 31 Oct 2019 11:15:39 +0100
schrieb SZEDER Gábor <szeder.dev@gmail.com>:

> However, I don't know how to tell about the skiplist file to GitHub,
> or any other Git hosting service for that matter.

Thanks for all the details.

Is there a way to "replay" a git repository, so that all the commit contents
and author/committer data are preserved? I think it is more important to have
a clean repository than to preserve irrelevant commit hashes.

Olaf