Archiving jenkinsci/jenkins-ace-editor repo

[fque...@cloudbees.com]

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?

[Tim Jacomb]

+1

--
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-de...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/fcf94a0f-bfc4-4433-bf91-d16bf9d67b98n%40googlegroups.com.

[Mark Waite]

+1

To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/CAH-3Bie0j1CH65-K0M3v9icbXa9b435mHFZHR9wr9nt1FthRTg%40mail.gmail.com.

[Jesse Glick]

On Mon, Nov 2, 2020 at 6:29 AM fque...@cloudbees.com
<fque...@cloudbees.com> wrote:
> I suggest archiving it.

Just file an `INFRA` ticket in the `github` component.

[Baptiste Mathus]

Sure. That does sound like the next step indeed.

I did advise to come through here just in case we've missed a use case for it.

INFRA tickets get much less scrutiny.

Thanks!

--
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-de...@googlegroups.com.

To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/CANfRfr2iPBueHS0OsgUQKHVmD%2BLOvwmedSqZx5FJMn%2B3BZmsDQ%40mail.gmail.com.