jenkins: http -> https