Angående: [Lazy Consensus] Move from JIRA to GitHub Issues

2017-05-17 Thread Carlos Duclos
+1 Sendt fra Yahoo Mail på Android Den ons. 17. mai. 2017 kl. 21.38 skrev Joan Touzet: Hi everyone. As most of you know, a few months ago we moved many of our primary repositories from primary Apache hosting to primary GitHub hosting. A major reason we did so was to leverage the better us

Re: [Lazy Consensus] Move from JIRA to GitHub Issues

2017-05-17 Thread Nick North
+1 Nick > On 18 May 2017, at 07:01, Elisiano Petrini wrote: > > +1 👍🍻 > > Best Regards, > Elisiano Petrini > >> On May 17, 2017, at 9:38 PM, Joan Touzet wrote: >> >> Hi everyone. >> >> As most of you know, a few months ago we moved many of our primary >> repositories from primary Apache

Re: [Lazy Consensus] Move from JIRA to GitHub Issues

2017-05-17 Thread Robert Samuel Newson
nice +1 :) > On 17 May 2017, at 22:32, Eli Stevens (Gmail) wrote: > > As a user and occasional bug reporter, I welcome the change. > > Searching for existing issues in JIRA was painful, mostly due to > feeling like I had to repeat myself in saying that I wasn't interested > in any of the other

Re: [Lazy Consensus] Move from JIRA to GitHub Issues

2017-05-17 Thread Eli Stevens (Gmail)
As a user and occasional bug reporter, I welcome the change. Searching for existing issues in JIRA was painful, mostly due to feeling like I had to repeat myself in saying that I wasn't interested in any of the other projects on the instance. On Wed, May 17, 2017 at 1:59 PM, Jan Lehnardt wrote:

Re: [Lazy Consensus] Move from JIRA to GitHub Issues

2017-05-17 Thread Jan Lehnardt
\o\ /o/ \o/ <3 > On 17. May 2017, at 21:38, Joan Touzet wrote: > > Hi everyone. > > As most of you know, a few months ago we moved many of our primary > repositories from primary Apache hosting to primary GitHub hosting. A > major reason we did so was to leverage the better user experience of >

[Lazy Consensus] Move from JIRA to GitHub Issues

2017-05-17 Thread Joan Touzet
Hi everyone. As most of you know, a few months ago we moved many of our primary repositories from primary Apache hosting to primary GitHub hosting. A major reason we did so was to leverage the better user experience of GitHub, especially for community interaction. It's now time for us to move fro