<div dir="ltr"><div><div>Hi,<br><br></div>Gentle ping.<br><br></div>BR, Oleg<br></div><div class="gmail_extra"><br><div class="gmail_quote">2017-02-21 16:46 GMT+01:00 Oleg Nenashev <span dir="ltr"><<a href="mailto:o.v.nenashev@gmail.com" target="_blank">o.v.nenashev@gmail.com</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div><span class=""><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">My only stipulation would be to stick to content that is relevant to this request for now.<br></blockquote><div><br></div></span>Yes, that's my plan.<br></div><span class=""><div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">The settings on the repo are such that only admins can git push, so you only<br>
have permission to merge changes.</blockquote><div><br></div></span><div>Fine for me <br></div></div><div class="HOEnZb"><div class="h5"><div class="gmail_extra"><br><div class="gmail_quote">2017-02-21 16:40 GMT+01:00 R. Tyler Croy <span dir="ltr"><<a href="mailto:tyler@monkeypox.org" target="_blank">tyler@monkeypox.org</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">(replies inline)<br>
<span><br>
On Sun, 19 Feb 2017, Oleg Nenashev wrote:<br>
<br>
> Hi Infra team,<br>
><br>
> I would like to kindly request the push permissions to<br>
> <a href="https://github.com/jenkins-infra/" rel="noreferrer" target="_blank">https://github.com/jenkins-inf<wbr>ra/</a>. Use-cases:<br>
><br>
</span>>    - Update of Jenkins weekly release changelogs, which have been moved to<br>
>    GitHub recently<br>
>       - Why? I regularly integrate changes and prepare changelogs together<br>
>       with Daniel)<br>
>       - GSoC page and calendar updates<br>
>       - Why? I am one of the GSoC org admins<br>
<span>><br>
> I do not plan going beyond these use-cases with new permission. And<br>
> of-course I will be always working via pull requests.<br>
><br>
> Would it be possible to get such permissions?<br>
<br>
<br>
</span>I don't have a problem with this so long as merging is done appropriately and<br>
after reviews have been completed. My only stipulation would be to stick to<br>
content that is relevant to this request for now. The repository is obviously<br>
growing, we have a lot of "cooks in the kitchen" and there's some content I<br>
still wish to exercise some level of editorial control over (e.g. blogs,<br>
documentation).<br>
<br>
<br>
The settings on the repo are such that only admins can git push, so you only<br>
have permission to merge changes.<br>
<br>
- R. Tyler Croy<br>
<br>
------------------------------<wbr>------------------------<br>
     Code: <<a href="https://github.com/rtyler" rel="noreferrer" target="_blank">https://github.com/rtyler</a>><br>
  Chatter: <<a href="https://twitter.com/agentdero" rel="noreferrer" target="_blank">https://twitter.com/agentdero</a><wbr>><br>
     xmpp: <a href="mailto:rtyler@jabber.org" target="_blank">rtyler@jabber.org</a><br>
<br>
  % gpg --keyserver <a href="http://keys.gnupg.net" rel="noreferrer" target="_blank">keys.gnupg.net</a> --recv-key 1426C7DC3F51E16F<br>
------------------------------<wbr>------------------------<br>
</blockquote></div><br></div>
</div></div></blockquote></div><br></div>