diff options
| -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 -------------- |