None of the really heavy hitters from the "core team" have left. As long as 100% FOSS Gitea pulls ahead in functionality, and can be downgraded relatively easily with an hour of work, I personally see no reason to move anywhere. You can part in different ways, the vibes you give off certainly matter, even when you're 100% technically correct.
And I suggested comparing releases, not commits; Gitea is ahead here both in what it supported at the moment of the hard fork, and in what has been introduced since then (counting only the MIT version).
