chore: remove unnecessary indentation from merge commit message

9 years ago · 99ce719b80
1 changed files with 2 additions and 2 deletions
--- a/tools/lib/PR_bash.source
+++ b/tools/lib/PR_bash.source
@ -106,6 +106,6 @@ get_sources() {
				@@ -106,6 +106,6 @@ get_sources() {
 merge() {
    local signed="$@"
    git merge --no-ff $signed $PR -m "Merge pull request #$PR
-    $OPT_MSG
-    $(git shortlog master..$PR)"
+$OPT_MSG
+$(git shortlog master..$PR)"
 }