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

From: Andrey Semashev (andrey.semashev_at_[hidden])
Date: 2019-07-10 15:14:06

On 7/10/19 6:13 PM, Andrey Semashev wrote:
> On 7/10/19 5:38 PM, Paul A Bristow via Boost wrote:
>>>
>>>> git checkout develop
>>>> git pull --recurse-submodules
>>>> git submodule update --init
>>>
>>> Just checking before I screw up git, again...
>>
>> OK I've tried this command
>>
>> I:\boost>git submodule deinit disjoint_sets
>> error: pathspec 'disjoint_sets' did not match any file(s) known to git
>>
>> but I still have a folder I:\boost\.git\modules\disjoint_sets 
>> containing the
>> usual submodule git folders and files.
>>
>> Should I just delete it?  Or leave well alone?
> 
> You can delete .git/modules/disjoint_sets and [submodule 
> "disjoint_sets"] from .git/config.

That is, the whole [submodule "disjoint_sets"] section.