Whatever stuff related to CESNET Galaxy development and deployment which does not fit elsewhere - View it on GitHub