Change in jenkins[master]: Replace git protocol with http