On 4/19/11 8:02 PM, Hilco Wijbenga wrote:
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
git clone --mirror abc.git
3. Create new hosted repo 'xyz.git'
cd abc; git push --mirror xyz.git
then you are done.
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
You can ignore the reflog.
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
FETCH_HEAD is also mostly irrelevant, as next time you fetch it'll be
overwritten.
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?
No idea. But what you did seems much more complicated than necessary.
tom
--
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