On May 31, 2020, at 11:41 AM, Joerg Sonnenberger <joerg%bec.de@localhost> wrote:
Based on https://help.github.com/en/github/authenticating-to-github/removing-sensitive-data-from-a-repository It looks like you might be able to request a GC from GitHub Support. (I have no actual experience doing this, though; it’s just what I read. Also, I guess it would be pointless if more unreachable commits will be added right away as part of the normal conversion. But if the unreachable commits are an artifact of an old conversion, then maybe it would be worth asking for a GC.) Lewis |