run-deploy.sh improvements: remove the need for a .ssh/config entry for
authorWard Vandewege <ward@curoverse.com>
Thu, 16 Jul 2015 22:02:30 +0000 (18:02 -0400)
committerWard Vandewege <ward@curoverse.com>
Thu, 16 Jul 2015 22:02:30 +0000 (18:02 -0400)
commitc9182875d51afe9407271334d0be1fdbd718c4d1
tree350297c21bf6cb6a353886db3227b231d8c57810
parentef2d37b1b95aa57a2840080995ee0555b7a64f50
run-deploy.sh improvements: remove the need for a .ssh/config entry for
the shortname of each API server. Thanks for the suggestion Nico.

No issue #
jenkins/run-deploy.sh