add git@ to developer connection to allow CI push via jenkins user + SSH...

...-Keys