Re: Retire some of my old plugins

2024-05-06 Thread Adrien Lecharpentier
Thank you Gavin for your contributions and all the time you spent on the
project.

Le mar. 7 mai 2024, 03:46, 'Gavin Mogan' via Jenkins Developers <
jenkinsci-dev@googlegroups.com> a écrit :

> Okay, only 2 months later...
>
> https://github.com/jenkins-infra/repository-permissions-updater/pull/3915
> should remove me from everything
> I also added deprecated label to the two dead ones
>
> Plugin site seems updated
>
> thanks ya'll
>
> On Tue, Mar 19, 2024 at 5:27 AM 'Daniel Beck' via Jenkins Developers <
> jenkinsci-dev@googlegroups.com> wrote:
>
>>
>>
>> On Sun, Mar 17, 2024 at 9:01 AM 'Alexander Brandes' via Jenkins
>> Developers  wrote:
>>
>>> To mark the plugins as EOL, I recommend adding the “deprecated” topic to
>>> the GitHub repositories, adding a note to the README that the plugin is
>>> EOL, closing open PRs and archiving the GH repository.
>>>
>>
>> In both cases it looks like continued distribution makes no real sense,
>> so I recommend
>> https://github.com/jenkins-infra/update-center2/?tab=readme-ov-file#removing-plugins-from-distribution
>> in addition to the above.
>>
>>
>>> Finally, you can remove yourself from the repository-permission-updater
>>> file.
>>>
>>
>> To clarify (as this has been a problem in the past): Keep the file, just
>> remove your 'developers' list entry (likely resulting in `developers: []`
>> for valid YAML).
>>
>> --
>> 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/CAMo7PtLjLhc_5RtfWU1hgUSs2JjuF13busQWiesve8xGMQw6sA%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 jenkinsci-dev+unsubscr...@googlegroups.com.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/jenkinsci-dev/CAG%3D_Dutn2DKh_tyPhH5qBE-pJ4i94JrTzaRUshqW_rpe8tU%2BEg%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 jenkinsci-dev+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/jenkinsci-dev/CAKwJSvzh8jK-HSgjbQ6yb_WrcJ95HWi7rXrhHDX5qDWNOQYwng%40mail.gmail.com.


Re: Retire some of my old plugins

2024-05-06 Thread 'Gavin Mogan' via Jenkins Developers
Okay, only 2 months later...

https://github.com/jenkins-infra/repository-permissions-updater/pull/3915
should remove me from everything
I also added deprecated label to the two dead ones

Plugin site seems updated

thanks ya'll

On Tue, Mar 19, 2024 at 5:27 AM 'Daniel Beck' via Jenkins Developers <
jenkinsci-dev@googlegroups.com> wrote:

>
>
> On Sun, Mar 17, 2024 at 9:01 AM 'Alexander Brandes' via Jenkins Developers
>  wrote:
>
>> To mark the plugins as EOL, I recommend adding the “deprecated” topic to
>> the GitHub repositories, adding a note to the README that the plugin is
>> EOL, closing open PRs and archiving the GH repository.
>>
>
> In both cases it looks like continued distribution makes no real sense, so
> I recommend
> https://github.com/jenkins-infra/update-center2/?tab=readme-ov-file#removing-plugins-from-distribution
> in addition to the above.
>
>
>> Finally, you can remove yourself from the repository-permission-updater
>> file.
>>
>
> To clarify (as this has been a problem in the past): Keep the file, just
> remove your 'developers' list entry (likely resulting in `developers: []`
> for valid YAML).
>
> --
> 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/CAMo7PtLjLhc_5RtfWU1hgUSs2JjuF13busQWiesve8xGMQw6sA%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 jenkinsci-dev+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/jenkinsci-dev/CAG%3D_Dutn2DKh_tyPhH5qBE-pJ4i94JrTzaRUshqW_rpe8tU%2BEg%40mail.gmail.com.


Re: Retire some of my old plugins

2024-03-19 Thread 'Daniel Beck' via Jenkins Developers
On Sun, Mar 17, 2024 at 9:01 AM 'Alexander Brandes' via Jenkins Developers <
jenkinsci-dev@googlegroups.com> wrote:

> To mark the plugins as EOL, I recommend adding the “deprecated” topic to
> the GitHub repositories, adding a note to the README that the plugin is
> EOL, closing open PRs and archiving the GH repository.
>

In both cases it looks like continued distribution makes no real sense, so
I recommend
https://github.com/jenkins-infra/update-center2/?tab=readme-ov-file#removing-plugins-from-distribution
in addition to the above.


> Finally, you can remove yourself from the repository-permission-updater
> file.
>

To clarify (as this has been a problem in the past): Keep the file, just
remove your 'developers' list entry (likely resulting in `developers: []`
for valid YAML).

-- 
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/CAMo7PtLjLhc_5RtfWU1hgUSs2JjuF13busQWiesve8xGMQw6sA%40mail.gmail.com.


Re: Retire some of my old plugins

2024-03-17 Thread Kris Stern
+1 from me too.
Thank you Gavin for all your contributions to Jenkins.

From: 'Bruno Verachten' via Jenkins Developers 
Sent: 17 March 2024 21:14
To: jenkinsci-dev@googlegroups.com 
Subject: Re: Retire some of my old plugins

+1 from me.
Thank you for your work, Gavin.

On Sun, Mar 17, 2024 at 9:01 AM 'Alexander Brandes' via Jenkins Developers 
mailto:jenkinsci-dev@googlegroups.com>> wrote:
No objections from me.

To mark the plugins as EOL, I recommend adding the “deprecated” topic to the 
GitHub repositories, adding a note to the README that the plugin is EOL, 
closing open PRs and archiving the GH repository.
Finally, you can remove yourself from the repository-permission-updater file.

On 17. Mar 2024, at 02:13, 'Gavin Mogan' via Jenkins Developers 
mailto:jenkinsci-dev@googlegroups.com>> wrote:

https://plugins.jenkins.io/html5-notifier-plugin/ - Code wasn't updated for 
html to div project, nobody complained. The html5 notifications apis have 
changed. While I do have a working branch, there's been no complaints, so I 
think we should just archive the plugin

https://plugins.jenkins.io/graphql-server/ - Failed attempt at trying to create 
graphql interface for jenkins. Graphql just doesn't handle class inheritance 
well enough for it to work nicely with all the plugin interfaces. Someone could 
take it over, but since its an incomplete prototype, I think its worth 
archiving them.

Is there any objections? Also how would I go about officially marking them 
depreciated/achieved?

--
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<mailto:jenkinsci-dev+unsubscr...@googlegroups.com>.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/jenkinsci-dev/CAG%3D_DutK1ArKbCo3JbaPOz1V9DYFL_jtzeV4Cv4t5fMAdz%3D0uw%40mail.gmail.com<https://groups.google.com/d/msgid/jenkinsci-dev/CAG%3D_DutK1ArKbCo3JbaPOz1V9DYFL_jtzeV4Cv4t5fMAdz%3D0uw%40mail.gmail.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 
jenkinsci-dev+unsubscr...@googlegroups.com<mailto:jenkinsci-dev+unsubscr...@googlegroups.com>.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/jenkinsci-dev/FA603023-0D1A-4387-B914-0484B47ACABB%40notmyfault.dev<https://groups.google.com/d/msgid/jenkinsci-dev/FA603023-0D1A-4387-B914-0484B47ACABB%40notmyfault.dev?utm_medium=email&utm_source=footer>.


--

Bruno Verachten
Sr Developer Relations
CloudBees, Inc. 
[https://lh3.google.com/u/0/d/1LyfAsxCMeW0fzsi52oV0EpZI1ebwIDw1=k]

P: +33.632.934.165 | GMT+1
E: bverach...@cloudbees.com<mailto:bverach...@cloudbees.com>

Twitter: https://twitter.com/Poddingue
LinkedIn: https://www.linkedin.com/in/poddingue/

Pronouns: he/his


--
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<mailto:jenkinsci-dev+unsubscr...@googlegroups.com>.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/jenkinsci-dev/CAFbR2rrPaTuaKmOWS_duU_S_GE8PAvWm8to0QpKdBnOLZ3-kEw%40mail.gmail.com<https://groups.google.com/d/msgid/jenkinsci-dev/CAFbR2rrPaTuaKmOWS_duU_S_GE8PAvWm8to0QpKdBnOLZ3-kEw%40mail.gmail.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 jenkinsci-dev+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/jenkinsci-dev/TY1P286MB31717F3C24558DEDE33C61F6A12E2%40TY1P286MB3171.JPNP286.PROD.OUTLOOK.COM.


Re: Retire some of my old plugins

2024-03-17 Thread 'Bruno Verachten' via Jenkins Developers
+1 from me.
Thank you for your work, Gavin.

On Sun, Mar 17, 2024 at 9:01 AM 'Alexander Brandes' via Jenkins Developers <
jenkinsci-dev@googlegroups.com> wrote:

> No objections from me.
>
> To mark the plugins as EOL, I recommend adding the “deprecated” topic to
> the GitHub repositories, adding a note to the README that the plugin is
> EOL, closing open PRs and archiving the GH repository.
> Finally, you can remove yourself from the repository-permission-updater
> file.
>
> On 17. Mar 2024, at 02:13, 'Gavin Mogan' via Jenkins Developers <
> jenkinsci-dev@googlegroups.com> wrote:
>
> https://plugins.jenkins.io/html5-notifier-plugin/ - Code wasn't updated
> for html to div project, nobody complained. The html5 notifications apis
> have changed. While I do have a working branch, there's been no complaints,
> so I think we should just archive the plugin
>
> https://plugins.jenkins.io/graphql-server/ - Failed attempt at trying to
> create graphql interface for jenkins. Graphql just doesn't handle class
> inheritance well enough for it to work nicely with all the plugin
> interfaces. Someone could take it over, but since its an incomplete
> prototype, I think its worth archiving them.
>
> Is there any objections? Also how would I go about officially marking them
> depreciated/achieved?
>
> --
> 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/CAG%3D_DutK1ArKbCo3JbaPOz1V9DYFL_jtzeV4Cv4t5fMAdz%3D0uw%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 jenkinsci-dev+unsubscr...@googlegroups.com.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/jenkinsci-dev/FA603023-0D1A-4387-B914-0484B47ACABB%40notmyfault.dev
> 
> .
>


-- 

Bruno Verachten
Sr Developer Relations
CloudBees, Inc.

P: +33.632.934.165 | GMT+1
E: bverach...@cloudbees.com

Twitter: https://twitter.com/Poddingue
LinkedIn: https://www.linkedin.com/in/poddingue/

Pronouns: he/his

-- 
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/CAFbR2rrPaTuaKmOWS_duU_S_GE8PAvWm8to0QpKdBnOLZ3-kEw%40mail.gmail.com.


Re: Retire some of my old plugins

2024-03-17 Thread 'Alexander Brandes' via Jenkins Developers
No objections from me.

To mark the plugins as EOL, I recommend adding the “deprecated” topic to the 
GitHub repositories, adding a note to the README that the plugin is EOL, 
closing open PRs and archiving the GH repository.
Finally, you can remove yourself from the repository-permission-updater file.

> On 17. Mar 2024, at 02:13, 'Gavin Mogan' via Jenkins Developers 
>  wrote:
> 
> https://plugins.jenkins.io/html5-notifier-plugin/ - Code wasn't updated for 
> html to div project, nobody complained. The html5 notifications apis have 
> changed. While I do have a working branch, there's been no complaints, so I 
> think we should just archive the plugin
> 
> https://plugins.jenkins.io/graphql-server/ - Failed attempt at trying to 
> create graphql interface for jenkins. Graphql just doesn't handle class 
> inheritance well enough for it to work nicely with all the plugin interfaces. 
> Someone could take it over, but since its an incomplete prototype, I think 
> its worth archiving them.
> 
> Is there any objections? Also how would I go about officially marking them 
> depreciated/achieved?
> 
> -- 
> 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/CAG%3D_DutK1ArKbCo3JbaPOz1V9DYFL_jtzeV4Cv4t5fMAdz%3D0uw%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 jenkinsci-dev+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/jenkinsci-dev/FA603023-0D1A-4387-B914-0484B47ACABB%40notmyfault.dev.


Retire some of my old plugins

2024-03-16 Thread 'Gavin Mogan' via Jenkins Developers
https://plugins.jenkins.io/html5-notifier-plugin/ - Code wasn't updated for
html to div project, nobody complained. The html5 notifications apis have
changed. While I do have a working branch, there's been no complaints, so I
think we should just archive the plugin

https://plugins.jenkins.io/graphql-server/ - Failed attempt at trying to
create graphql interface for jenkins. Graphql just doesn't handle class
inheritance well enough for it to work nicely with all the plugin
interfaces. Someone could take it over, but since its an incomplete
prototype, I think its worth archiving them.

Is there any objections? Also how would I go about officially marking them
depreciated/achieved?

-- 
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/CAG%3D_DutK1ArKbCo3JbaPOz1V9DYFL_jtzeV4Cv4t5fMAdz%3D0uw%40mail.gmail.com.