PullRequest
fix-branch-push-permissions
A user who isn't a repo maintainer can create a branch, create a PR but cannot push to the branch. This update checks whether thye are authorised to push to the branch and if so allows them to proceed, displaying a slightly different message.