You were right ;-) Pull request merged now. Let's update wiki page.
Thank you very much. El martes, 3 de febrero de 2015, 17:06:31 (UTC+1), Ullrich Hafner escribió: > > Seems that you did not yet accept the invitation from GitHub to be part of > that repo committers… Please check your emails. > > Am 03.02.2015 um 16:33 schrieb Fernando Miguélez <[email protected] > <javascript:>>: > > 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? > > [image: Merge pull request button] > This is what I see: > > Add more commits by pushing to the master > <https://github.com/fmiguelez/exclusive-execution-plugin> branch on > fmiguelez/exclusive-execution-plugin > <https://github.com/fmiguelez/exclusive-execution-plugin>. > Details > <https://jenkins.ci.cloudbees.com/job/plugins/job/exclusive-execution-plugin/7/> > *All is well* — This pull request looks good > <http://windows.github.com/> > This pull request can be automatically merged by project collaborators. > > Only those with write access > <https://help.github.com/articles/what-are-the-different-access-permissions> > to > this repository can merge pull requests. > > > Regards. > > > > El martes, 3 de febrero de 2015, 8:38:52 (UTC+1), Ullrich Hafner escribió: >> >> Done. Welcome aboard! Ulli >> >> Am 02.02.2015 um 23:57 schrieb Fernando Miguélez <[email protected]>: >> >> Hi Ulli, >> >> My github user is "fmiguelez" and repository is: >> https://github.com/jenkinsci/exclusive-execution-plugin >> >> Regards, >> >> Fernando >> >> On Mon, Feb 2, 2015 at 9:55 PM, Ulli Hafner <[email protected]> wrote: >> >>> If you would write us your GitHub user name (and the repository name) >>> then we could give you access rights… >>> >>> > Am 02.02.2015 um 18:35 schrieb Fernando Miguélez < >>> [email protected]>: >>> > >>> > 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 >>> > >>> > -- >>> > 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/1d0a1d88-0a6b-4b51-bed8-4ca36bf38ad4%40googlegroups.com >>> . >>> > For more options, visit https://groups.google.com/d/optout. >>> >>> -- >>> 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 >>> [email protected]. >>> To view this discussion on the web visit >>> https://groups.google.com/d/msgid/jenkinsci-dev/98311C08-C72D-4736-8331-64FE149C7A6E%40gmail.com >>> . >>> 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/CAHmvGQWjqwb-x%2B46eBsrODVqio4_Fq1-8W54t4JMDBMF2LekqQ%40mail.gmail.com >> >> <https://groups.google.com/d/msgid/jenkinsci-dev/CAHmvGQWjqwb-x%2B46eBsrODVqio4_Fq1-8W54t4JMDBMF2LekqQ%40mail.gmail.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] <javascript:>. > To view this discussion on the web visit > https://groups.google.com/d/msgid/jenkinsci-dev/3d7061bb-2bd4-49cc-8b3b-dad43d29672a%40googlegroups.com > > <https://groups.google.com/d/msgid/jenkinsci-dev/3d7061bb-2bd4-49cc-8b3b-dad43d29672a%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/3988a4c3-93fe-4710-9e19-65afd1731861%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
