Re: [PATCH v3 5/5] rm: delete .gitmodules entry of submodules removed from the work tree

2013-07-30 Thread Jens Lehmann
Am 30.07.2013 22:15, schrieb Fredrik Gustafsson: > On Tue, Jul 30, 2013 at 09:51:51PM +0200, Jens Lehmann wrote: >> +/* >> + * Try to remove the "submodule." section from .gitmodules where the >> given >> + * path is configured. Return 0 only if a .gitmodules file was found, a >> section >> + * w

Re: [PATCH v3 5/5] rm: delete .gitmodules entry of submodules removed from the work tree

2013-07-30 Thread Fredrik Gustafsson
On Tue, Jul 30, 2013 at 09:51:51PM +0200, Jens Lehmann wrote: > +/* > + * Try to remove the "submodule." section from .gitmodules where the > given > + * path is configured. Return 0 only if a .gitmodules file was found, a > section > + * with the correct path= setting was found and we could remo

[PATCH v3 5/5] rm: delete .gitmodules entry of submodules removed from the work tree

2013-07-30 Thread Jens Lehmann
Currently using "git rm" on a submodule removes the submodule's work tree from that of the superproject and the gitlink from the index. But the submodule's section in .gitmodules is left untouched, which is a leftover of the now removed submodule and might irritate users (as opposed to the setting