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