1hub-merge(1) hub manual hub-merge(1)
2
3
4
6 hub-merge - Merge a pull request locally with a message like the GitHub
7 Merge Button.
8
10 hub merge PULLREQ-URL
11
12 This creates a local merge commit in the current branch, but does not
13 actually change the state of the pull request. However, the pull
14 request will get auto-closed and marked as "merged" as soon as the
15 newly created merge commit is pushed to the default branch of the
16 remote repository.
17
19 $ hub merge https://github.com/jingweno/gh/pull/73
20 > git fetch origin refs/pull/73/head
21 > git merge FETCH_HEAD --no-ff -m "Merge pull request #73 from jingweno/feature..."
22
24 hub-checkout(1), hub(1), git-merge(1)
25
26
27
28
29hub version 2.14.2 20 Jul 2023 hub-merge(1)