Re: Preserving git history across repositories

* James E Keenan <[email protected]> [2013-12-30 02:25]:
> Can you check out that the 'master' branch at
> https://github.com/jkeenan/opodhtml has the correct history?

Looks fine. I guess you want to do something like

    git push -f origin aristotle:blead

to do away with the old extracted history on the blead branch
and point it at the tip of the new extraction?

-- 
Aristotle Pagaltzis // <http://plasmasturm.org/>