Im confused by the process of contributing and you seemingly closing pull requests instead of merging them? Is there a resource for getting into contributing to curl?

@eot we merge and push them manually. GitHub shows those as "closed" because they refuse to recognize this way of working.