)]}'
{
  "commit": "5bf5133e2230e37061dcc021defeda28691dd2c3",
  "tree": "6eb3ed4237371ed865ecc07e010a39fbf54dd9dd",
  "parents": [
    "97c617d0cfd8713e8a4d7fbbe61bc6b3ebf2c3fd"
  ],
  "author": {
    "name": "Marc Kriguer",
    "email": "myk@google.com",
    "time": "Mon May 12 17:13:04 2014 -0700"
  },
  "committer": {
    "name": "Marc Kriguer",
    "email": "myk@google.com",
    "time": "Mon May 12 17:13:04 2014 -0700"
  },
  "message": "Reload page when either push button errors out\n\n(either full crawl or incremental crawl).  This fixes the following bugs:\nb/11369495 , b/8143800 , and b/14052915.\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "d8d6a1387a43b1df8c9d6da68130e4416453c2dd",
      "old_mode": 33261,
      "old_path": "resources/com/google/enterprise/adaptor/resources/dashboard.js",
      "new_id": "63a15e6c9f5ac90df632477531a4271d1ad49052",
      "new_mode": 33261,
      "new_path": "resources/com/google/enterprise/adaptor/resources/dashboard.js"
    }
  ]
}