galaxyproject/pulsar — pull request #40 by erasche (2014-10-30 17:58:00+00:00)
Title: Removed unused logging and centralized SSH options

SSH options are used the same in each section of the config, thus it makes sense to
set them once and re-use in each command requiring those arguments.