From: Ivan Matek (libbooze_at_[hidden])
Date: 2021-08-07 12:59:50
Hi everybody.
I have a "culture" question:
What is considered polite amount of time before pinging people about pull
request on github?
Also should I ping the individuals I guess are OWNERS of that code, or make
general post here?
regards,
Ivan
On Sun, Jul 25, 2021 at 7:46 PM Ivan Matek <libbooze_at_[hidden]> wrote:
> Please ignore last question, I will try to clone modular boost as per
> instructions here, and see how that goes (if I can get algorithm tests to
> run).
> https://github.com/boostorg/wiki/wiki/Getting-Started%3A-Overview
>
> On Sun, Jul 25, 2021 at 5:53 PM Ivan Matek <libbooze_at_[hidden]> wrote:
>
>> Thank you for reply, that will work for me, but I have a question wrt
>> testing:
>>
>