Stephen> Well on other GitHub orgs i’ve seen PR author has Merge button once PR is Stephen> approved by someone with push rights to the repo... until they add a commit Stephen> or the merge result changes
It does not work the way you describe. 1) By default GitHub defaults to "Base permissions" == "read". Administrator can set even "base permissions == admin", however that is not something that comes by default. 2) Repository administrator can configure a branch so it requires a PR approval before merge (see https://help.github.com/articles/enabling-required-reviews-for-pull-requests/ ) It might happen so that "author has Merge button" is a case when repository was configured with "default=write" permissions + "require PR approval". Indeed that should produce (I have not checked) the behavior you describe, however it was never a default mode for GiHub. Vladimir --------------------------------------------------------------------- To unsubscribe, e-mail: dev-unsubscr...@maven.apache.org For additional commands, e-mail: dev-h...@maven.apache.org
