Hi,
Yes, it's a good idea and obviously a must sooner or later. However,
it isn't really so simple, the project is quite active and I don't
really want to increase the version number manually after each commit.
Unfortunately git does not have revision numbers so that's out as well..
It's possible to tag certain commits in git, but then we'd have to
have a special build system to automatically add the commit tag to the
files. At the moment a github remote hook (combined with git pull)
keeps the server up to date, which is incredibly easy to maintain.
Do we have any git wizards in here? I'm open to suggestions.
Simo