Re: Link problem with graph and pending still appears unresolved?

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
>>>> superproject?
>>>
>>> It was removed from develop in 
>>> https://github.com/boostorg/boost/pull/283
>>
>> 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 
> YMMV).

Thanks. The command fails if there is no directory, so I simply removed 
the lines from .git/config.