clone --mirror should be replaced by --mirror=(fetch|push)

Whereas "git remote add" has depreciated --mirror in favor of
--mirror=fetch and --mirror=push, "git clone --mirror", which creates a
"fetch mirror", also sets up things in the old "dangerous and useless"
(see 0990248) way.

-- 
Yann Dirson - Bertin Technologies