Need better version tag support #1
Description
We want a function that can supply the version tag for the current build, for example to put in the "about" popup. Right now, we are using an approach inherited from the JSAV project. This requires running "make" to generate a copy of version.js that contains the appropriate version string generated by "git describe". It would be better if this were updated automatically on a "git pull" instead of depending on the developer to do it manually.
Unfortunately, it has to happen on the machine that is serving the page, it is not something that can happen on-the-fly on the client end. So the "version" function has to have the string in place somehow.
It is possible that the GitHub hooks mechanism could be used to solve this problem.