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.  :)

To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to
More majordomo info at

Reply via email to