FlashYoshi/dotfiles — pull request #17 by FlashYoshi (2014-12-22 23:39:44+00:00)
Title: Update push.sh

Works with non-indented ssh configs and unspecified users.