8 Aug
2021
8 Aug
'21
3:36 p.m.
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?
regards, Ivan
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: https://www.boost.org/community/policy.html#quoting michael -- Michael Caisse Ciere Consulting ciere.com