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 <ogon...@gmail.com> 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 jenkinsci-dev+unsubscr...@googlegroups.com. > 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 jenkinsci-dev+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/CAMo7PtKz-X4jDi6oU0AOjQziT8_NqwcZefDq3stH2G%3DFCNySuw%40mail.gmail.com.
