I ask rights to become maintainer of Exclusive Execution Plugin

[Fernando Miguélez]

Hi admins,

After waiting for more than 2 weeks original maintainer of Exclusive Execution Plugin (Marco Ambu) has not responded. The other maintainer (Sam Tavakoli) advised me to ask for commit rights to main branch after submitting and reviewing my pull request.

Since there seems to be no maintainer available with commit rights to master branch I would like to become the maintainer of the plugin.

Please, whoever admin who sees this, give me the rights to commit to master branch of the plugin and become maintainer of it.

Regards,

Fernando

[Ulli Hafner]

If you would write us your GitHub user name (and the repository name) then we could give you access rights…

> --
> 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/1d0a1d88-0a6b-4b51-bed8-4ca36bf38ad4%40googlegroups.com.
> For more options, visit https://groups.google.com/d/optout.

[Fernando Miguélez]

Hi Ulli,

My github user is "fmiguelez" and repository is: https://github.com/jenkinsci/exclusive-execution-plugin

Regards,

Fernando

You received this message because you are subscribed to a topic in the Google Groups "Jenkins Developers" group.
To unsubscribe from this topic, visit https://groups.google.com/d/topic/jenkinsci-dev/dVVvG9bN6-Q/unsubscribe.
To unsubscribe from this group and all its topics, send an email to jenkinsci-de...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/98311C08-C72D-4736-8331-64FE149C7A6E%40gmail.com.

[Ulli Hafner]

Done. Welcome aboard! Ulli

To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/CAHmvGQWjqwb-x%2B46eBsrODVqio4_Fq1-8W54t4JMDBMF2LekqQ%40mail.gmail.com.

[Fernando Miguélez]

I can not see "Merge pull request" option on my own pull request. Is that option not available and should I directly commit to main branch?

This is what I see:

Add more commits by pushing to the master branch on fmiguelez/exclusive-execution-plugin.

Details All is well — This pull request looks good

This pull request can be automatically merged by project collaborators.

Only those with write access to this repository can merge pull requests.

Regards.

[Ulli Hafner]

Seems that you did not yet accept the invitation from GitHub to be part of that repo committers… Please check your emails.

To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/3d7061bb-2bd4-49cc-8b3b-dad43d29672a%40googlegroups.com.

[Fernando Miguélez]

You were right ;-)

Pull request merged now. Let's update wiki page.

Thank you very much.

[Fernando Miguélez]

Well I approved pull request and already documented changes in wiki.

What should I do so version 0.8 is released? Should I use maven release plugin or is there any automatic mechanism (such as the pull request verification through own Jenkins) that automatically performs plugin release?

Regards,

Fernando

[Ulli Hafner]

Please use mvn release...

To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/3d6e76b9-e14b-4e9b-8bc7-760fe13faea4%40googlegroups.com.