merge jenkins_4

update links to badges