Archiving jenkinsci/jenkins-ace-editor repo

Previous Topic Next Topic
 
classic Classic list List threaded Threaded
5 messages Options
Reply | Threaded
Open this post in threaded view
|

Archiving jenkinsci/jenkins-ace-editor repo

Felix Queiruga
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 [hidden email].
To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/fcf94a0f-bfc4-4433-bf91-d16bf9d67b98n%40googlegroups.com.
Reply | Threaded
Open this post in threaded view
|

Re: Archiving jenkinsci/jenkins-ace-editor repo

Tim Jacomb
+1

On Mon, 2 Nov 2020 at 11:29, [hidden email] <[hidden email]> 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 [hidden email].
To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/fcf94a0f-bfc4-4433-bf91-d16bf9d67b98n%40googlegroups.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 [hidden email].
To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/CAH-3Bie0j1CH65-K0M3v9icbXa9b435mHFZHR9wr9nt1FthRTg%40mail.gmail.com.
Reply | Threaded
Open this post in threaded view
|

Re: Archiving jenkinsci/jenkins-ace-editor repo

Mark Waite-2
+1

On Mon, Nov 2, 2020 at 6:47 AM Tim Jacomb <[hidden email]> wrote:
+1

On Mon, 2 Nov 2020 at 11:29, [hidden email] <[hidden email]> 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 [hidden email].
To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/fcf94a0f-bfc4-4433-bf91-d16bf9d67b98n%40googlegroups.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 [hidden email].
To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/CAH-3Bie0j1CH65-K0M3v9icbXa9b435mHFZHR9wr9nt1FthRTg%40mail.gmail.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 [hidden email].
To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/CAO49JtEivc1agzseUUGeCy%3D-HXqBY-ANTb%3Dd5YEYzwfK2C5JzQ%40mail.gmail.com.
Reply | Threaded
Open this post in threaded view
|

Re: Archiving jenkinsci/jenkins-ace-editor repo

Jesse Glick-4
In reply to this post by Felix Queiruga
On Mon, Nov 2, 2020 at 6:29 AM [hidden email]
<[hidden email]> wrote:
> I suggest archiving it.

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

--
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 [hidden email].
To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/CANfRfr2iPBueHS0OsgUQKHVmD%2BLOvwmedSqZx5FJMn%2B3BZmsDQ%40mail.gmail.com.
Reply | Threaded
Open this post in threaded view
|

Re: Archiving jenkinsci/jenkins-ace-editor repo

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!

Le lun. 2 nov. 2020 à 16:17, Jesse Glick <[hidden email]> a écrit :
On Mon, Nov 2, 2020 at 6:29 AM [hidden email]
<[hidden email]> wrote:
> I suggest archiving it.

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

--
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 [hidden email].
To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/CANfRfr2iPBueHS0OsgUQKHVmD%2BLOvwmedSqZx5FJMn%2B3BZmsDQ%40mail.gmail.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 [hidden email].
To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/CANWgJS5hLE0EGUHaMuQk%2BkDkAooRXQxC7%3DVchXkVHK5TboYDBA%40mail.gmail.com.