From: Michael Caisse (mcaisse-lists_at_[hidden])
Date: 2021-08-08 15:36:28
On 8/7/21 05:59, Ivan Matek via Boost wrote:
> 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?
Generally, the ML here is a good place to follow-up. If a library isn't
getting enough attention, the community can figure out how to help.
Also on the "culture", please do not top post:
-- Michael Caisse Ciere Consulting ciere.com
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk