diff --git a/tools/test_pr.py b/tools/test_pr.py index 10ba02c..2493109 100755 --- a/tools/test_pr.py +++ b/tools/test_pr.py @@ -85,7 +85,7 @@ def get_branch(repo, branch, owner, mergeable): # Delete the branch first call(['git', 'branch', '-D', merged_branch]) check_call(['git', 'checkout', '-b', merged_branch]) - check_call(['git', 'pull', '--no-commit', repo, branch]) + check_call(['git', 'pull', '--no-ff', '--no-commit', repo, branch]) check_call(['git', 'commit', '-m', "merge %s/%s" % (repo, branch)]) else: # Fetch the branch without merging it.