tree 27efecba18d4cf25c80a60d738e24a363eb5bf39
parent d6ee48ebc3ab57622daa85be18c6ed2e6ed9cb03
author Dave Borowitz <dborowitz@google.com> 1493393062 -0400
committer Dave Borowitz <dborowitz@google.com> 1494602595 -0400

Send comments as a separate email when published on push

When a user uses the new publish-comments option, the new patch set
email didn't contain the contents of the comments that were being
published. Actually getting these combined into one email will require a
fair bit of refactoring of templates.

In the meantime, just send the comments in a separate email, which from
the recipients' perspective is the same as if this feature didn't exist
and the author published comments via the web UI immediately after
pushing.

Change-Id: I20e542e1fb044ee678855fc83afcfaa6df65b326