On 26 October 2017 at 15:23, Joaquin M López Muñoz via Boost
El 26/10/2017 a las 15:03, Peter Dimov via Boost escribió:
Joaquin M López Muñoz wrote:
Mantainers forbid direct PRs to master in boostorg/boost:
You can for a change that's already on develop, or could just ask someone to cherry-pick it.
Does the repo-local markup not work on master?
Not for repos that aren't in master yet.
Wow, I didn't know this possibility even existed, and seems from the archives that the thing is pretty recent:
https://lists.boost.org/Archives/boost/2017/10/238905.php
It is no clear to me how this works: is this consolidating script something that Daniel runs locally every so often to manually update the superproject xml,
It's updated by a cron job once an hour, like the maintainer list.