-----Original Message----- From: Boost
On Behalf Of Andrey Semashev via Boost Sent: 10 July 2019 16:14 To: boost@lists.boost.org Cc: Andrey Semashev Subject: Re: [boost] Link problem with graph and pending still appears unresolved? 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.
That seems to do the trick. I suspect that if I had done boost>git submodule deinit disjoint_sets before deleting anything else, it would have worked as expected. Thanks - all a bit scary 😉 Paul