Merge branch 'pc/submodule-helper'
authorJunio C Hamano <gitster@pobox.com>
Tue, 13 Feb 2018 21:39:10 +0000 (13:39 -0800)
committerJunio C Hamano <gitster@pobox.com>
Tue, 13 Feb 2018 21:39:10 +0000 (13:39 -0800)
Rewrite two more "git submodule" subcommands in C.

* pc/submodule-helper:
submodule: port submodule subcommand 'deinit' from shell to C
submodule: port submodule subcommand 'sync' from shell to C

Trivial merge