Done and done. Merged the PR, and :

[09:39] <+     batmat> | jenkins-admin: make markewaite committer on
platformlabeler-plugin
[09:39] <@jenkins-adm> | Added markewaite as a GitHub committer for
repository platformlabeler-plugin.


Thanks Mark!



2018-04-11 15:32 GMT+02:00 Mark Waite <[email protected]>:

> Since Robert has approved, is that enough to grant me permission as a
> maintainer of the platformlabeler plugin (without waiting two weeks)?
>
> The permission repository pull request
> <https://github.com/jenkins-infra/repository-permissions-updater/pull/663> is
> still open.
>
> Mark Waite
>
> On Monday, April 9, 2018 at 1:08:43 PM UTC-6, Robert Collins wrote:
>>
>> Fine with me. Thank you for stepping up.
>>
>> On Tue., 10 Apr. 2018, 01:42 Mark Waite wrote:
>>
>>> I'd like to be the maintainer of the platformlabeler plugin.
>>>
>>> I have used the platformlabeler plugin for a long time.  It is no longer
>>> in the update center due to an infrastructure change.  I think the easiest
>>> way to return it to the update center is to release a new version of the
>>> plugin which supports newer Jenkins versions (and drops Hudson support).  A
>>> pull request is pending which does that, and I've made a few additional
>>> changes to add a Jenkinsfile to the plugin repository.
>>>
>>> I've copied the two people listed as current maintainers (Robert Collins
>>> and Nicolas De Loof) on this mail message.
>>>
>>> I've also submitted a permission repository pull request
>>> <https://github.com/jenkins-infra/repository-permissions-updater/pull/663>
>>> .
>>>
>>> Mark Waite
>>>
>> --
> 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/36fdece2-6b26-478e-9e51-b2282d55f091%
> 40googlegroups.com
> <https://groups.google.com/d/msgid/jenkinsci-dev/36fdece2-6b26-478e-9e51-b2282d55f091%40googlegroups.com?utm_medium=email&utm_source=footer>
> .
>
> For more options, visit https://groups.google.com/d/optout.
>

-- 
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/CANWgJS6xNxeYBFyQ8C3%3DBRa3JiiMidaqo2de2%3DxEfpiK6JkKVA%40mail.gmail.com.
For more options, visit https://groups.google.com/d/optout.

Reply via email to