On Tue, Sep 21, 2010 at 20:01, Kevin Grittner <kevin.gritt...@wicourts.gov> wrote: > Elvis Pranskevichus <e...@prans.net> wrote: > >> Here's a quick and easy way to move dev history to a new repo: >> >> $ cd postgresql.old >> $ git checkout yourbranch >> >> # stream your commits into a "patch mailbox" >> $ git format-patch --stdout master..HEAD > patches.mbox >> >> # switch to the new repo >> $ cd ../postgresql >> >> # create a branch if not already >> $ git checkout -b yourbranch >> >> # apply the "patch mailbox" >> $ git am ../postgresql.old/patches.mbox >> >> That should do the trick. Your dev history will be kept. > > Thanks for the recipe. (And thanks to all others who responded.) > > That still leaves me wondering how I get that out to my public git > repo without someone resetting it on the server. Or do I have the > ability to clean out the old stuff at: > > ssh://g...@git.postgresql.org/users/kgrittn/postgres.git > > so that I can push the result of the above to it cleanly?
a git push *should* work, but we've seen issues with that. The cleanest is probably if I wipe the repo on git.postgresql.org for you, and you then re-push from scratch. Does thta work for you? -- Magnus Hagander Me: http://www.hagander.net/ Work: http://www.redpill-linpro.com/ -- Sent via pgsql-hackers mailing list (pgsql-hackers@postgresql.org) To make changes to your subscription: http://www.postgresql.org/mailpref/pgsql-hackers