I compared them yesterday. There seems to be more development activity and more contributors for Gitea (check the pulse tool on github for the last month). I ha

I compared them yesterday. There seems to be more development activity and more contributors for Gitea (check the pulse tool on github for the last month). I haven’t got a stake in this whatsoever, but I recall the rationale for the fork being that PR’s would remain unmerged for months without comment due to the inactivity of the original author, who nevertheless wanted to retain control?