26 Oct
2017
26 Oct
'17
2:42 p.m.
Joaquin M López Muñoz wrote:
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:
Does the repo-local markup not work on master?
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 probably a cron job like the other boost-commitbot updates. https://github.com/boostorg/boost/commit/12f08779ed066dbb1e3c7dca725f86d22e4...