Hi Peter,
Production servers, or any server where you have users, should always track Galaxy-dist.
Galaxy-central is a development repo (you get access to the "latest and greatest", but also should Expect more bugs to pop up at any given time), from the Galaxy-central header on bitbucket: "Main development repository for Galaxy. Active development happens here, and this repository is thus intended for those working on Galaxy development. See http://bitbucket.org/galaxy/galaxy-dist/ for a more stable repository intended for end-users."
Its really a personal choice that each (tool) developer will have to make based upon whether they consider themselves to be a pure end-user (just adding tools or running a Galaxy server) who only wants to work on a "stable" branch; or if they want to contribute to Core development or gain early access to development features (and bugs). I would say that finalized tools and e.g. tools submitted to the tool shed should be vetted against galaxy-dist.
Thanks for using Galaxy,
Dan
On Jun 16, 2011, at 9:26 AM, Peter Cock wrote:
On Thu, Jun 16, 2011 at 2:23 PM, Daniel Blankenberg dan@bx.psu.edu wrote:
Hi Peter,
If you were curious it was fixed about 7 hours later in 5681:0886ed0a8c9f
Thanks for using Galaxy,
Dan
Thanks - I know this kind of unexpected breakage is inevitable sometimes, but would recommend tool developers in general run with galaxy-dist or galaxy-central?
Peter