Hi,

Is your JIRA id the same? or different?

Thanks

2015-11-18 16:03 GMT+01:00 <[email protected]>:

> Hi,
>
> I would like to adopt the port-allocator plugin (
> https://wiki.jenkins-ci.org/display/JENKINS/Port+Allocator+Plugin), so I
> request commit access to the repo (
> https://github.com/jenkinsci/port-allocator-plugin). My github id is
> andresrc.
>
> Thanks!
>
> --
> 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/f85cac09-2851-4f42-8163-dab8ebb91080%40googlegroups.com
> <https://groups.google.com/d/msgid/jenkinsci-dev/f85cac09-2851-4f42-8163-dab8ebb91080%40googlegroups.com?utm_medium=email&utm_source=footer>
> .
> For more options, visit https://groups.google.com/d/optout.
>



-- 
Baptiste <Batmat> MATHUS - http://batmat.net
Sauvez un arbre,
Mangez un castor !

-- 
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/CANWgJS5uwqc%3DUUW4%3D2ZQAy46paxVwte4QvjuZiJis1_jx-Pf%3DQ%40mail.gmail.com.
For more options, visit https://groups.google.com/d/optout.

Reply via email to