[Opensim-dev] Git tags (again)

[Diva Canto]

Hi everyone,

I know this has been discussed a few times before, but the automatic 
tags on every git commit are becoming a heavy burden. Today we talked 
again about stopping doing that. But rather than stopping the tags 
without replacement, a suggestion has been made to provide a web page 
that converts from git hashes to build numbers, so that everyone can 
still have an idea of sequential line of development.

Any objections?

Diva