11 Dec
2013
11 Dec
'13
7:10 p.m.
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