[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Savannah-hackers-public] delete old git repo
|
From: |
Rob Savoye |
|
Subject: |
Re: [Savannah-hackers-public] delete old git repo |
|
Date: |
Thu, 05 Aug 2010 12:02:40 -0600 |
|
User-agent: |
Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.9.2.7) Gecko/20100720 Fedora/3.1.1-1.fc13 Lightning/1.0b2 Thunderbird/3.1.1 |
On 08/05/10 11:53, Mario Castelan Castro wrote:
> For what I (mis)understand of GIT it should be enough to delete all
> branches with "git push REMOTE --delete BRANCH0 BRANCH1 ... BRANCHN"
> usually the only remote is "origin" created with the initial "git
> clone".
This was the master, not a branch. I'm pretty new to git, but sure
like the better performance. The problem was that old git repo had
changes which made it diverge from our bzr repo at that time years ago.
So git always choked on the merge. I tried all the options I could to
overwrite the old repo with no luck cause of the divergence. I even
tried importing into it from trunk, but that failed too.
- rob -