Deprecating via wiki label had the same effect as https://jenkins.io/doc/developer/publishing/removing-from-distribution/ so that is its replacement at the moment.
This change was announced in https://groups.google.com/d/msg/jenkinsci-dev/t_qgJ4PEOz8/dRLhfM2oDQAJ FWIW I plan to improve this with a 'deprecated' label and supporting UI inside Jenkins, continuing the draft work started in https://github.com/jenkinsci/jenkins/pull/4073 by casz, but am currently limiting myself to one spare time contribution in flight at a time, and the background build discarders PR is still open… On Tue, Feb 11, 2020 at 2:08 PM Oliver Gondža <[email protected]> wrote: > I have not noticed the process was updated... > > Thanks! > -- > oliver > > -- > You received this message because you are subscribed to the Google Groups > "Jenkins Developers" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/jenkinsci-dev/60817275-605c-420b-a1a2-83c4f1a95668%40gmail.com > . > -- You received this message because you are subscribed to the Google Groups "Jenkins Developers" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/CAMo7PtKz-X4jDi6oU0AOjQziT8_NqwcZefDq3stH2G%3DFCNySuw%40mail.gmail.com.
