Merging a pull request: merge pull request button
Merging a pull request: merging locally