>GitHub makes sense, but the end result must be recorded here in some form.
Gary, bots copy comments from both GitHub and JIRA to the mailing list anyway. I think people should select the medium (GitHub, JIRA, email) based on the context rather than based on "all discussions on mailing list only" rules. Of course it makes no sense to manually copy every decision from every JIRA to the mailing list. Vladimir
