This is a good point and I used that very example a number of times to illustrate the difficulty to break free from GitHub. I avoided using it in this context because I’m concerned that it would send a mixed message: good & bad simultaneously. FFF is based on the Gitea format which is a good start. Gitea is an example of forge that is stuck on GitHub which is bad.
I’m also hesitant to provide a precise example of a project that would be migrated thanks to FFF. Because there is a good chance the first release of FFF will miss a few things and will only be a good fit for partial migration or mirroring. The focus is on issues so that will be first. But migrating a project as a whole might take longer.
Everything written in this grant application must hold true when the grant is over, reason why I’m very timid when speculating about the details of deliverables or giving specific examples.
Does that make sense?