[m-rev.] Converting to Git.

[Peter Wang]

On Fri, 4 Jan 2013 10:04:15 +1100, Paul Bone <paul at bone.id.au> wrote:
> Have I made a mistake or is there a problem with the
> main repository?

I just cloned the repository again and got everything:

% git remote -v
origin	git at github.com:Mercury-Language/mercury.git (fetch)
origin	git at github.com:Mercury-Language/mercury.git (push)

% git branch -r | wc -l
67  # includes origin/HEAD

% git tag -l | wc -l
122

Peter