Closed pcm32 closed 6 years ago
An unfortunate mixup in the phnmnl/galaxy repo meant that our Galaxy setup was dirty with 18.05 commits. This PR redirects our Galaxy cloning to a clean 18.01 (plus our desired commits for ISA and others).
Now you can redeem yourself @ilveroluca ;-)
With thanks to @djcomlab for fixing the Galaxy mix up at our fork.
An unfortunate mixup in the phnmnl/galaxy repo meant that our Galaxy setup was dirty with 18.05 commits. This PR redirects our Galaxy cloning to a clean 18.01 (plus our desired commits for ISA and others).