Using non-ssh url for jenkins checkouts