17 Feb
2023
17 Feb
'23
7:43 p.m.
On Fri, Feb 17, 2023 at 11:40 AM Peter Dimov via Boost
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 meta/libraries.json).
Yep that is entirely doable! For now we are aiming to disturb existing workflows as little as possible. When we publish the new website repository you should create this as an issue there and it will get done. Thanks