Re: Grafting Alternate History

Andreas Schwab [off-list ref] 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