+1 On Mon, 2 Nov 2020 at 11:29, [email protected] <[email protected]> wrote:
> Hi all, > > I have noticed that the jenkins-ace-editor plugin is taken from the > https://github.com/jenkinsci/js-libs repo. That means the > https://github.com/jenkinsci/jenkins-ace-editor is unused. I suggest > archiving it. > > Any thoughts on this matter? > > -- > 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/fcf94a0f-bfc4-4433-bf91-d16bf9d67b98n%40googlegroups.com > <https://groups.google.com/d/msgid/jenkinsci-dev/fcf94a0f-bfc4-4433-bf91-d16bf9d67b98n%40googlegroups.com?utm_medium=email&utm_source=footer> > . > -- 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/CAH-3Bie0j1CH65-K0M3v9icbXa9b435mHFZHR9wr9nt1FthRTg%40mail.gmail.com.
