Merge a pull request into the upstream branch when work is completed. Anyone with push access to the repository can complete the merge.| GitHub Docs