In reply to a tweet by themathiasdahl:

@themathiasdahl assuming I can figure out how, I'd be happy to fiddle with Github settings to allow other people to merge pull requests.