[boost] github pull request process on non-owned submodule