Hello Marc

The repository at http://www.iro.umontreal.ca/~gambit/repo/gambit.git is missing the release tags. (This has been for some time now, I've added the tags manually locally.)

git push doesn't push tags unless they are specified as argument (or the --tags option is given).

Also, the repo has more than 1800 loose objects (which makes it take 37 MB instead of ~9 MB to clone). I suggest you run "git config gc.auto 500" inside the repository on the server. The next push will then repack it.

Christian.