tree eaac061bd7e2883b175c8ce878599b761966d3e6
parent dae477777e5d38780dabb0ebabbfd32fc89c10f6
parent 7edee32985b1363e35e91c7358a9e60f2359fbba
author Junio C Hamano <gitster@pobox.com> 1584482541 -0700
committer Junio C Hamano <gitster@pobox.com> 1584482541 -0700

Merge branch 'dt/submodule-rm-with-stale-cache' into maint

Running "git rm" on a submodule failed unnecessarily when
.gitmodules is only cache-dirty, which has been corrected.

* dt/submodule-rm-with-stale-cache:
  git rm submodule: succeed if .gitmodules index stat info is zero