Deleting sync-all

Thomas Miedema thomasmiedema at
Wed Jul 22 10:39:07 UTC 2015

On Tue, Jul 21, 2015 at 6:06 PM, Ömer Sinan Ağacan <omeragacan at>

> +1 from me. I only use it for `get` command after changing branches,
> and I think I can just as easily do same thing with `git submodule
> update --checkout`. (is that right?)

That is correct, although `--checkout` is I the default, so just `git
submodule update` also works.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the ghc-devs mailing list