[m-rev.] Converting to Git.
novalazy at gmail.com
Fri Jan 4 10:30:54 AEDT 2013
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
More information about the reviews