We couldn't push to master, but we could merge accepted PRs. Not sure if this was done with GitHub or with Git itself.