Pass HTML bodies to push email

Summary: Depends on D19028. Ref T13053. Fixes T6576. An HTML body was built here, but not passed to the actual mail message.

Test Plan: Will verify production push mail.

Maniphest Tasks: T13053, T6576

Differential Revision: https://secure.phabricator.com/D19029

src/applications/repository/worker/PhabricatorRepositoryPushMailWorker.php

@@ -123,6 +123,7 @@ final class PhabricatorRepositoryPushMailWorker
       ->setSubject($subject)
       ->setFrom($event->getPusherPHID())
       ->setBody($body->render())
+      ->setHTMLBody($body->renderHTML())
       ->setThreadID($event->getPHID(), $is_new = true)
       ->setIsBulk(true);