Re: project.el: git submodules?

[Dmitry Gutov]

On 13.05.2020 00:09, Stefan Monnier wrote:
> > > But I guess a first approximation is to check "is there another .git
> > > somewhere further up the directory tree and if so, does it use
> > > the same repository as the current .git does?".
> > That seems to imply traversing up the directory tree until '/' in some
> > cases. Right?
> Yes (which is no worse than what we do when there's no .git at all;-)

Hmm, good point.

I even have a patch, but here's another thought: wouldn't this 
mistakenly punish people who keep their $HOME as a Git repository to 
sync between machines?

Any other repositories they are working on are likely inside.