Record which cluster host received a push

Summary: Ref T4292. When we write a push log, also log which node received the request.

Test Plan: {F1230467}

Reviewers: chad

Reviewed By: chad

Maniphest Tasks: T4292

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

src/applications/repository/query/PhabricatorRepositoryPushLogSearchEngine.php

@@ -95,7 +95,12 @@ final class PhabricatorRepositoryPushLogSearchEngine
   protected function getRequiredHandlePHIDsForResultList(
     array $logs,
     PhabricatorSavedQuery $query) {
-    return mpull($logs, 'getPusherPHID');
+    $phids = array();
+    $phids[] = mpull($logs, 'getPusherPHID');
+    $phids[] = mpull($logs, 'getDevicePHID');
+    $phids = array_mergev($phids);
+    $phids = array_filter($phids);
+    return $phids;
   }
 
   protected function renderResultList(