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


El martes, 3 de febrero de 2015, 17:27:47 (UTC+1), Fernando Miguélez 
escribió:
>
> 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]>:
>>
>> 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].
>> 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/3d6e76b9-e14b-4e9b-8bc7-760fe13faea4%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

Reply via email to