On Thu, Feb 5, 2015 at 12:03 AM, Vladimir Prus
On 02/05/2015 12:36 AM, Beman Dawes wrote:
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?
I would suggest 'releng', which is often used by Eclipse projects for stuff that is purely for packaging/releasing. Or maybe 'release-tools'?
"release-tools" is very clear and explicit, and is relatively short. Since no one else commented, I'm assuming this isn't an issue to bikeshed to death. So "release-tools" it is. Thanks, --Beman