Drop obsolete workaround for Jenkins passing mergebasebranch

Jenkins does not pass this obsolete parameter anymore: jenkins-jobs!3 (merged).

This reverts commit 3c9c4ca1.

Please merge into master, then master → stable → testing → devel.