> Is the original Jira -> GitHub move just a change of defaults or are we, > once moved to GitHub, not letting people use Jira at all anymore ?
Nothing has been decided - it's all open for debate. I just want to re-state the idea (at least as I heard it) behind this proposed move is to make contributing more accessible. As for github banning people, just google "github banning" and you will see that people have been banned for a variety of reasons. I don't know if the risk of that outweighs the inconvenience of JIRA for the new developer. Please note that the primary avenue for contributions today *is already github*. So far we have not had any issues with people being banned, and if that were to happen, we still accept patch files in JIRA. We have had these two mechanisms in place for quite a while now and both are in active use. But this proposal is about issue tracking anyway: I just point out that we already rely on github in spite of its shortcomings. --------------------------------------------------------------------- To unsubscribe, e-mail: dev-unsubscr...@lucene.apache.org For additional commands, e-mail: dev-h...@lucene.apache.org