[Build] Migrate Promotion and Make-Visble jobs to Jenkins pipeline

[HannesWell]

and clean them up.

[HannesWell]

The verification build doesn't test this, so I submit this immediately and will run the seed job to create the new job definitions. In order to make this succeed I'll have to delete the existing definitions as the job types changes from freestyle to pipeline. But that's not a problem.

Still @MohananRahul FYI, that you are aware of it.
And can you answer me the question, if you run the Rename and Promote (and Make Visible) job also for Milestone builds? The release doc says no, but I cannot tell how milestones are then highlighted at the downloads page Therefore I assume that job is also executed for milestone build, but without dedicated issue?

[MohananRahul]

Still @MohananRahul FYI, that you are aware of it. And can you answer me the question, if you run the Rename and Promote (and Make Visible) job also for Milestone builds? The release doc says no, but I cannot tell how milestones are then highlighted at the downloads page Therefore I assume that job is also executed for milestone build, but without dedicated issue?

Yes @HannesWell , Previously, we used a dedicated issue to declare the milestone. However, since milestones have become lightweight, we no longer use one. so I proceed without an issue number.