From 6784e8cbf4082876cbb53ca8d25bc167866c7bd7 Mon Sep 17 00:00:00 2001
From: Keegan McAllister <keegan@humbughq.com>
Date: Wed, 3 Oct 2012 18:08:36 -0400
Subject: [PATCH] post-receive: Style branch name

(imported from commit 33f075095c163f8954dac104cd5d39e9171a99d2)
---
 tools/post-receive | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/tools/post-receive b/tools/post-receive
index de131df729..28c3f4fce5 100755
--- a/tools/post-receive
+++ b/tools/post-receive
@@ -46,7 +46,8 @@ def process_push(oldrev, newrev, refname):
         "type": "class",
         "class": "devel",
         "instance": "commits",
-        "content": "The following commits were just pushed to %s:\n\n" % (refname.replace("refs/heads/", ""),) + commits,
+        "content": "The following commits were just pushed to `%s`:\n\n"
+            % (refname.replace("refs/heads/", ""),) + commits,
         "recipient": "tabbott@humbughq.com",
     }
     # Sleep a bit to give time for the server to restart.