[galaxy-dev] How to build a fresh Docker image from the latest Galaxy