change developer connection to use ssh for pushing