see https://jtr13.github.io/cc21fall1/tutorial-for-pull-request-mergers.html#merge-the-pull-request
see https://jtr13.github.io/cc21fall1/tutorial-for-pull-request-mergers.html#merge-the-pull-request