change developer connection to let jenkins CI user push to repository via SSH