[JIRA] (JENKINS-34931) Build merge commit instead of PR head
Title: Message Title Kevin Smets
[JIRA] (JENKINS-34931) Build merge commit instead of PR head
Title: Message Title Antonio Muñiz
[JIRA] (JENKINS-34931) Build merge commit instead of PR head
Title: Message Title Antonio Muñiz
[JIRA] (JENKINS-34931) Build merge commit instead of PR head
Title: Message Title Antonio Muñiz
[JIRA] (JENKINS-34931) Build merge commit instead of PR head
Title: Message Title Antonio Muñiz
[JIRA] (JENKINS-34931) Build merge commit instead of PR head
Title: Message Title Antonio Muñiz closed
[JIRA] (JENKINS-34931) Build merge commit instead of PR head
Title: Message Title Antonio Muñiz
[JIRA] (JENKINS-34931) Build merge commit instead of PR head
Title: Message Title Antonio Muñiz closed
[JIRA] (JENKINS-34931) Build merge commit instead of PR head
Title: Message Title Antonio Muñiz
[JIRA] (JENKINS-34931) Build merge commit instead of PR head
Title: Message Title Nicholas Brown
[JIRA] (JENKINS-34931) Build merge commit instead of PR head
Title: Message Title Nenad Miksa