gws: gws check does not detect git repo inside git repo

Thanks for this clear answer.

I do understand why you added this git subrepo exclusion. You are using git submodule while I’m using nested submodules without using git submodule feature.

I also understand why you stopped maintaining gws. I’m however using it on a daily basis as it works perfectly for my needs. I may switch one day for another tool if my requirements change.