My suspicion is that using the email reply would require that the correspondent be a GitHub user (possibly even a GitHub user subscribed to the issue). This would not be the case for Jan with a bot having filed the issue by proxy. In that case he probably would not even have received any email notification of posts to an issue.
On Tue, 2019-01-08 at 12:14 +0100, Sebastien Binet wrote: > On Tue, Jan 8, 2019 at 12:04 PM Jakob Borg <ja...@kastelo.net> wrote: > > > > > On 8 Jan 2019, at 11:11, Jan Mercl <0xj...@gmail.com> wrote: > > > > > > But the most important thing is that no one is suggesting > > "eschewing > > GitHub". The topic of this thread was listed in the OP: How to make > > it > > easy/easier for people without a MS account to contribute to the > > project. > > This does not affect users having/using/creating MS accounts at > > all. > > > > Full disclosure: Yes, I do not touch anything Microsoft unless my > > employer > > needs that. I'm even lucky enough to have a $DAYJOB that does not > > require > > it. But that was not discussed or mentioned and it's _not_ the > > topic. Let's > > please stay on topic, thank you. > > > > > > The topic is "GitHub independent issue tracker". Moving the issue > > tracker > > *away* from GitHub is what I’m referring to as "eschewing GitHub" > > and is > > what I think would be a mistake. Perhaps that’s not what you were > > suggesting. > > > > For just filing issues I could see something like a web form with > > Google > > authentication, proxied by a bot into GitHub. That is, something > > similar to > > what was used during the migration of issues to GitHub. But that > > will make > > it difficult or annoying to interact beyond the initial filing, I > > would > > think. > > > FYI, one can reply-to with one's favorite email composer just fine. > e.g.: https://github.com/gonum/gonum/issues/745#issuecomment-16460792 > 9 > > so that web-form would just need a valid email address, I think. > > -s > -- You received this message because you are subscribed to the Google Groups "golang-nuts" group. To unsubscribe from this group and stop receiving emails from it, send an email to golang-nuts+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.