I'd like to have push rights for Boost.UUID and Boost.Locale to be able to merge my pull requests. Both libraries are unmaintained (Boost.UUID author explicitly allowed the community to take over the maintenance and Boost.Locale author is not responding).
I'd like to have push rights for Boost.UUID and Boost.Locale to be able to merge my pull requests. Both libraries are unmaintained (Boost.UUID author explicitly allowed the community to take over the maintenance and Boost.Locale author is not responding).
In particular, I want to merge these PRs:
https://github.com/boostorg/uuid/pull/8 https://github.com/boostorg/locale/pull/9