[boost] [release-mgt] Name of release manager's repository?

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