17 Feb
2023
17 Feb
'23
7:52 p.m.
Vinnie Falco wrote:
The pull request workflow isn't very elegant. It would be better if, say, every author updates meta/release_notes.md in his repo, and the website automatically compiles these (as it currently does for
On Fri, Feb 17, 2023 at 11:40 AM Peter Dimov via Boost
wrote: meta/libraries.json). Yep that is entirely doable! For now we are aiming to disturb existing workflows as little as possible.
Disturbing some existing workflows (such as this one) would actually be a good thing.