From: dag@cray.com Date: Tue, 04 Sep 2012 22:56:32 GMT Subject: Re: Grafting Alternate History Message-ID: In-Reply-To: Andreas Schwab writes: > You can set up (the git mirror of) the public repository as a remote in > the private repository and git cherry-pick the commits you want to copy > over. Now why didn't I think of that!? :) Thanks for helping an old bumbler along. :) -Dave