Github comments and pull request emails

[Paul Benedict]

Why aren't they going to our issues list? I don't think they should be
going to our "dev" list. Can we submit a ticket with infrastructure to
change the destination?

Cheers,
Paul