Regarding the forkability and mergeability you discussed — I'd like to follow up. In actual GitHub practice, forking is something almost anyone can do, but merging requires someone to coordinate and make decisions. That process may itself involve political power. Because in merging, you may need to sacrifice some people's interests and protect others'. How do you see this asymmetry between forking and merging?