From 475c08cb446371dd75fb37e067613effc0572442 Mon Sep 17 00:00:00 2001 From: Pieter Wuille Date: Mon, 10 Jul 2017 12:44:13 -0700 Subject: [PATCH] Add PR description to merge commit in github-merge.py --- contrib/devtools/github-merge.py | 2 ++ 1 file changed, 2 insertions(+) diff --git a/contrib/devtools/github-merge.py b/contrib/devtools/github-merge.py index e9816f7d1..c664cf81f 100755 --- a/contrib/devtools/github-merge.py +++ b/contrib/devtools/github-merge.py @@ -175,6 +175,7 @@ def main(): if info is None: exit(1) title = info['title'].strip() + body = info['body'].strip() # precedence order for destination branch argument: # - command line argument # - githubmerge.branch setting @@ -229,6 +230,7 @@ def main(): firstline = 'Merge #%s' % (pull,) message = firstline + '\n\n' message += subprocess.check_output([GIT,'log','--no-merges','--topo-order','--pretty=format:%h %s (%an)',base_branch+'..'+head_branch]).decode('utf-8') + message += '\n\nPull request description:\n\n ' + body.replace('\n', '\n ') + '\n' try: subprocess.check_call([GIT,'merge','-q','--commit','--no-edit','--no-ff','-m',message.encode('utf-8'),head_branch]) except subprocess.CalledProcessError as e: