Subject: [boost] [release-mgt] Name of release manager's repository?
From: Beman Dawes (bdawes_at_[hidden])
Date: 2015-02-04 16:36:01
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