Is there any plugin/actions to allow users from frontend in github pull request to merge master changes into pull request ?
