7 Aug
2021
7 Aug
'21
12:59 p.m.
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
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
wrote: Thank you for reply, that will work for me, but I have a question wrt testing: