From 511ae471388669b8345f6a411ece94b79a802ac7 Mon Sep 17 00:00:00 2001
From: Petros Amiridis <petros@amiridis.net>
Date: Fri, 10 Jun 2011 11:20:36 +0300
Subject: fixed style of git command

---
 _posts/2008-01-06-move-a-repo.markdown | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/_posts/2008-01-06-move-a-repo.markdown b/_posts/2008-01-06-move-a-repo.markdown
index 99ef964..161a788 100644
--- a/_posts/2008-01-06-move-a-repo.markdown
+++ b/_posts/2008-01-06-move-a-repo.markdown
@@ -22,7 +22,9 @@ There are a few caveats, especially with regards to private repos:
 
 We cannot set up redirects with git, so every clone of the repository will need to have its remote updated. All you need to run to update your local repository is
 
-    git remote set-url remote_name new_url
+<pre class="terminal">
+git remote set-url remote_name new_url
+</pre>
 
 Existing forks
 --------------
-- 
cgit v1.3.1