On 2 December 2013 08:21, Beman Dawes
Or is it possible/desirable to use the existing repo that's part of my user account?
We need to have a discussion of this, but IIUC we could create the boostorg repo for a new library by forking a github library such as yours. I haven't given any thought to the pros and cons of that.
This has been discussed in the past. The existing repo will need to remain as the super module refers to the hash values of its commits. The suggested fix was to combine the two repos, since a git repo can contain two separate trees. The old branches will need to be kept alive by tagging them. I'd rather have kept the two separate by using a different name for the converted repo (e.g. svn-predef), but no one agreed with me.