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