diff options
| author | BtcDrak <btcdrak@gmail.com> | 2015-01-08 19:45:56 +0000 |
|---|---|---|
| committer | BtcDrak <btcdrak@gmail.com> | 2015-01-11 09:12:40 +0000 |
| commit | 1078fb08851442bcd7750c3d5015dc1fe7e4d927 (patch) | |
| tree | 2c09142fdf61381a3f56e83ad3257cbeb5850ef8 /contrib/devtools/github-merge.sh | |
| parent | d0c97bbe70a6876dadedfbf672387371c9c849d1 (diff) | |
Make nicer pull request merge messages
Diffstat (limited to 'contrib/devtools/github-merge.sh')
| -rwxr-xr-x | contrib/devtools/github-merge.sh | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/contrib/devtools/github-merge.sh b/contrib/devtools/github-merge.sh index ec7a1f4c4b..7e3dad49d2 100755 --- a/contrib/devtools/github-merge.sh +++ b/contrib/devtools/github-merge.sh @@ -82,13 +82,15 @@ function cleanup() { } # Create unsigned merge commit. +PRTITLE=`curl -s https://api.github.com/repos/$REPO/pulls/$PULL | grep -e ' "title": ".*",'| awk -F'"' '{print $4}'` +MERGEMESSAGE="Merge #$PULL: $PRTITLE" ( - echo "Merge pull request #$PULL" + echo $MERGEMESSAGE echo "" git log --no-merges --topo-order --pretty='format:%h %s (%an)' pull/"$PULL"/base..pull/"$PULL"/head )>"$TMPDIR/message" if git merge -q --commit --no-edit --no-ff -m "$(<"$TMPDIR/message")" pull/"$PULL"/head; then - if [ "d$(git log --pretty='format:%s' -n 1)" != "dMerge pull request #$PULL" ]; then + if [ "d$(git log --pretty='format:%s' -n 1)" != "d$MERGEMESSAGE" ]; then echo "ERROR: Creating merge failed (already merged?)." >&2 cleanup exit 4 |