Hi all,
I have a hosted Git repo. As such I don't have the ability to touch
the bare repo itself (should that be relevant). I would like to rename
it though. I'd like to know if my approach below is valid.
1. The current repo is 'abc.git'
2. git clone abc.git
3. Create new hosted repo 'xyz.git'
4. git clone xyz.git
5. Copy abc/{.git,*} into xyz/
6. Replace all occurrences of 'abc.git' with 'xyz.git':
6.a. .git/logs/HEAD:00...00 41..53 Hilco Wijbenga <...> 1299100781
-0800 clone: from git@...:abc.git
6.b. .git/logs/refs/heads/master:00...00 41...53 Hilco Wijbenga <...>
1299100781 -0800 clone: from git@...:abc.git
6.c. .git/config: url = git@...:abc.git
6.d. .git/FETCH_HEAD:41...53 branch 'master' of ...:abc
7. git push origin master
There are no errors or warnings and a subsequent git clone and git log
also seem to work. Is the repo in a consistent state or will I
experience problems in the future?
Cheers,
Hilco
--
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html