diff options
| author | Petros Amiridis <petros@amiridis.net> | 2011-04-07 06:10:48 +0300 |
|---|---|---|
| committer | Petros Amiridis <petros@amiridis.net> | 2011-04-07 06:10:48 +0300 |
| commit | 811ff9039e623569338120c268724b11046ce935 (patch) | |
| tree | 25a9ac3934f3badab7b582aa8af8bfecfffe91ef | |
| parent | cba70cb2684f47bbc1ad91b2f1d95a14b0fe7f99 (diff) | |
git clone --bare myoldrepo.git creates a folder with .git at the end
| -rw-r--r-- | _posts/2009-06-25-moving-a-repo.markdown | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/_posts/2009-06-25-moving-a-repo.markdown b/_posts/2009-06-25-moving-a-repo.markdown index d87ac0d..f00c38c 100644 --- a/_posts/2009-06-25-moving-a-repo.markdown +++ b/_posts/2009-06-25-moving-a-repo.markdown @@ -28,7 +28,7 @@ First, create a new repo on the target account. Next, create a mirror that incl <pre class="terminal"> git clone --bare url/for/my-old-repo.git -cd my-old-repo +cd my-old-repo.git git push --mirror git@github.com:mycompany/my-new-repo.git cd .. rm -rf my-old-repo |