On Tue, Dec 01, 2020 at 03:20:33PM +0300, Alexander Turenko wrote: > > I removed the directory after the commit and everything looks fine. > The relevant recond in .git/config still exists, but can be deleted > manually. > Thanks!