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] > <javascript:>>: > > 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] > <javascript:>> 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] >> <javascript:>>: >> > >> > 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] <javascript:>. >> > 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] <javascript:>. >> 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] <javascript:>. > 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]. To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/3d7061bb-2bd4-49cc-8b3b-dad43d29672a%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
