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