From: Andrey Semashev (andrey.semashev_at_[hidden])
Date: 2019-07-04 08:34:48
On 7/4/19 3:34 AM, Gavin Lambert via Boost wrote:
> On 4/07/2019 07:35, Andrey Semashev wrote:
>> On 7/3/19 6:48 PM, James E. King III wrote:
>>> On Wed, Jul 3, 2019 at 11:26 AM Andrey Semashev wrote:
>>>> Doesn't the disjoint_sets git submodule need to be removed from the
>>> It was removed from develop in
>> Strangely enough, it is still present in my .git/config, even after
>> `git pull` and `git submodule update` in the Boost root.
> What exists in your config file is as a result of the submodule init
> commands, and does not get cleared because upstream removed the submodule.
> The thing to check whether upstream still wants the submodule to exist
> or not is the contents of the .gitmodules file.
> Once you have confirmed that the module is no longer listed in
> .gitmodules, run:
> Â Â git submodule deinit module-name
> to remove it from your .git/config.Â This also deletes the directory on
> disk, AFAIK (although I've never actually used this command myself, so
Thanks. The command fails if there is no directory, so I simply removed
the lines from .git/config.
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk