4 Feb
2015
4 Feb
'15
9:36 p.m.
We used to have a directory <boost-root>tools/release that contained scripts used by release managers. As part of the modularization effort, it was separated into its own GitHub repository, boostorg/release. It is not a submodule of the boost super-module as it is primarily of interest only to release managers. That seems to me to be a "good thing". But I'm wondering if the "release" name might be confusing, since it doesn't contain releases or release tags themselves. Would renaming it "release-mgt" or similar be clearer? --Beman