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 <libbooze@gmail.com> 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@gmail.com> wrote:
Thank you for reply, that will work for me, but I have a question wrt testing: