[Jenkins-infra] Request: Push permissions to the jenkins.io repository

R. Tyler Croy tyler at monkeypox.org
Tue Feb 21 15:40:54 UTC 2017

(replies inline)

On Sun, 19 Feb 2017, Oleg Nenashev wrote:

> Hi Infra team,
> I would like to kindly request the push permissions to
> https://github.com/jenkins-infra/. Use-cases:
>    - Update of Jenkins weekly release changelogs, which have been moved to
>    GitHub recently
>       - Why? I regularly integrate changes and prepare changelogs together
>       with Daniel)
>       - GSoC page and calendar updates
>       - Why? I am one of the GSoC org admins
> I do not plan going beyond these use-cases with new permission. And
> of-course I will be always working via pull requests.
> Would it be possible to get such permissions?

I don't have a problem with this so long as merging is done appropriately and
after reviews have been completed. My only stipulation would be to stick to
content that is relevant to this request for now. The repository is obviously
growing, we have a lot of "cooks in the kitchen" and there's some content I
still wish to exercise some level of editorial control over (e.g. blogs,

The settings on the repo are such that only admins can git push, so you only
have permission to merge changes.

- R. Tyler Croy

     Code: <https://github.com/rtyler>
  Chatter: <https://twitter.com/agentdero>
     xmpp: rtyler at jabber.org

  % gpg --keyserver keys.gnupg.net --recv-key 1426C7DC3F51E16F
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 195 bytes
Desc: not available
URL: <http://lists.jenkins-ci.org/pipermail/jenkins-infra/attachments/20170221/d460ada8/attachment.asc>

More information about the Jenkins-infra mailing list