On Thu, Nov 18, 2010 at 10:06 AM, Kostas Karasavvas <kostas.karasavvas@nbic.nl> wrote:
Hi all!
Out of curiosity, is there some kind of versioning in Galaxy (e.g. for the stable release intended for end-users)?
Something that would allow us to say things like: 'The tool works fine for versions 1.2 and above.', etc.
Cheers, Kostas
I'd also welcome official version numbers for Galaxy. It would also make it easier for citation purposes (e.g. Galaxy workflow available in online supplementary materials, tested with Galaxy version x,y,z). I'd also like to ask a technical question about the galaxy-dist and galaxy-central repositories: Is the default branch on galaxy-dist identical to (but of course usually older than) the default branch on galaxy-central? [I'm thinking about the occasional need to update a production server originally cloned from galaxy-dist to get a fix from galaxy-central before you guys make it available on galaxy-dist] Thanks, Peter