Heads up: I've taken care of Boost.Utility's history
I'm still awaiting push privileges for Boost.Utility, but locally, I've already taken care of the divergencies between the develop and master branches and created the necessary merge points, so I'm announcing this here to prevent duplication of work, if someone else also decides to do the same in the meantime.
Just a note if it helps: you could push your local repository changes into a separate empty public repository in github (one that would not be boostorg related) to let others see your local changes. That way, no need to wait for permission to, at least, expose publicly these changes. Of course it's not necessary if you get permission very soon.
On Tue, Dec 10, 2013 at 6:44 PM, Klaim - Joël Lamotte
Just a note if it helps: you could push your local repository changes into a separate empty public repository in github (one that would not be boostorg related) to let others see your local changes. That way, no need to wait for permission to, at least, expose publicly these changes. Of course it's not necessary if you get permission very soon.
Peter should be OK as of a couple of minutes ago. We have been pretty good about handling permission requests so far AFAIK, but we can increase the size of the Admin team if necessary. --Beman
participants (3)
-
Beman Dawes
-
Klaim - Joël Lamotte
-
Peter Dimov