"Run Galaxy" is the material repository for the training "Run your Galaxy Server", whose supporting manual is available in the startbio GitHub repository. The repository is mostly used to interact with trainees during the training.