diff options
| author | Petros Amiridis <petros@amiridis.net> | 2011-06-10 11:20:36 +0300 |
|---|---|---|
| committer | Petros Amiridis <petros@amiridis.net> | 2011-06-10 11:20:36 +0300 |
| commit | 511ae471388669b8345f6a411ece94b79a802ac7 (patch) | |
| tree | 2d01cff5025ffe7cb1d90f1030c1af6fe4a9c60a | |
| parent | 8534e80438591f268f3c8deba1ebfc4b51a18b29 (diff) | |
fixed style of git command
| -rw-r--r-- | _posts/2008-01-06-move-a-repo.markdown | 4 |
1 files changed, 3 insertions, 1 deletions
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 -------------- |