For mercurial to git mirrors, also push tags.