Re: [DISCUSS] Allowing write access to GitHub repositories

2017-12-12 Thread Ismael Juma
Thanks. Since this seems like a clear win I'll start the vote thread. Any other thoughts are welcome, of course. Ismael On Tue, Dec 12, 2017 at 12:40 PM, Damian Guy wrote: > +1 > > On Tue, 12 Dec 2017 at 10:20 Rajini Sivaram > wrote: > > > Hi Ismael, > > > > Thank you for looking into this. So

Re: [DISCUSS] Allowing write access to GitHub repositories

2017-12-12 Thread Damian Guy
+1 On Tue, 12 Dec 2017 at 10:20 Rajini Sivaram wrote: > Hi Ismael, > > Thank you for looking into this. Sounds like a good improvement. > > Regards, > > Rajini > > On Mon, Dec 11, 2017 at 6:35 AM, Guozhang Wang wrote: > > > Sounds good to me. > > > > On Sun, Dec 10, 2017 at 10:14 PM, Ismael Jum

Re: [DISCUSS] Allowing write access to GitHub repositories

2017-12-12 Thread Rajini Sivaram
Hi Ismael, Thank you for looking into this. Sounds like a good improvement. Regards, Rajini On Mon, Dec 11, 2017 at 6:35 AM, Guozhang Wang wrote: > Sounds good to me. > > On Sun, Dec 10, 2017 at 10:14 PM, Ismael Juma wrote: > > > Thanks Guozhang. > > > > Cherry-picking also occurred to me so

Re: [DISCUSS] Allowing write access to GitHub repositories

2017-12-10 Thread Guozhang Wang
Sounds good to me. On Sun, Dec 10, 2017 at 10:14 PM, Ismael Juma wrote: > Thanks Guozhang. > > Cherry-picking also occurred to me sometime after I sent the email and I > agree that it's useful functionality. > > Do I understand correctly that you are suggesting a script for > cherry-picking afte

Re: [DISCUSS] Allowing write access to GitHub repositories

2017-12-10 Thread Ismael Juma
Thanks Guozhang. Cherry-picking also occurred to me sometime after I sent the email and I agree that it's useful functionality. Do I understand correctly that you are suggesting a script for cherry-picking after the pull request has been merged? We could explore this, but not sure it would add mu

Re: [DISCUSS] Allowing write access to GitHub repositories

2017-12-10 Thread Guozhang Wang
Thanks Ismael for initiating this discussion. I am in favor for adopting Gitbox for its clean improvements since many of us have shared the pain of managing PRs for long time. About this potential downsides, subjectively I feel these two arguments are quite handle-able. The only concern I had abou

Re: [DISCUSS] Allowing write access to GitHub repositories

2017-12-09 Thread Ismael Juma
One thing I forgot to mention, many projects have requested and been using GitBox for a while: https://issues.apache.org/jira/browse/INFRA-15271?jql=project%20%3D%20INFRA%20AND%20status%20in%20(Resolved%2C%20Closed)%20AND%20component%20%3D%20GitBox%20ORDER%20BY%20updated%20DESC%2C%20priority%20DES