On 07/06/16 11:07, Haozhong Zhang wrote:
I supposed every modification in github issues would trigger mail notifications to others, but apparently it does not. I'll take care in the future.
That's actually a valid assumption, given that Bugzilla is sane like that, for example. GitHub perpetrates even worse atrocities: people don't get emails about their own comments nor metadata changes (labels etc). github's email integration is practically unusable. A bugzilla instance for edk2 has been in the making for a while now, but it's not ready just yet. I can't wait.
Thanks! Laszlo