ok then,

I suggest

1. we just create a brand new github user, only owned by the fund, holding noone's personal data. Owning by the fund will make sure we won't have to deal with any repo changes as developers or people change.

2. Create a brand new mintcoin project in it.

3. Give write permissions to developers who will manage it (I can volunteer for the transition if required)

4. Merge all historic data from head of github:mintcoinproject/mintcoin into that brand new repo

5. And the community can verify the historic data is exactly the same between the 2 repos, so there is no FUD for a hardfork or spyware or anything else.

6. Abandon github:mintcoinproject/mintcoin repo


A fork on github looks like this one: https://github.com/keremhd/mintcoin-seeder
It is not listed as a standalone project, but just a development fork. It's not returned in search results, etc.

A brand new project on github (populated from original history) looks like this one: https://github.com/keremhd/mintcoinj
Although it's a new project, if you check its history (click on Network), commits older than the project's creation date can be verified.