Skip to content

Check the status of git submodules when checking if a repository is up-to-date#6153

Draft
kit-ty-kate wants to merge 1 commit intoocaml:masterfrom kit-ty-kate:git-check-submodule-status
+14-1

Commits

Commits on Aug 26, 2024