)]}'
{
  "commit": "4353344c59ed8184acb290166a649af9836c3ae4",
  "tree": "968fae2665004cd185a132d2b8ada93b12640b09",
  "parents": [
    "afb76a6bf731938cc76b05ea083e262e65c89736"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Mon Mar 22 16:29:36 2021 +0100"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Mon Mar 22 16:29:36 2021 +0100"
  },
  "message": "doc: LHS precedences\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "517b868394623318304c96ca53ad142ca2469849",
      "old_mode": 33188,
      "old_path": "doc/syntax.md",
      "new_id": "afcc7666f5ffae58015af29cce0e7bc445608b68",
      "new_mode": 33188,
      "new_path": "doc/syntax.md"
    },
    {
      "type": "modify",
      "old_id": "94e22f334127fb35443773cde3c656da335892df",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Syntax.lean",
      "new_id": "af4fb6a2e39101694e4cae718ded15fd99e24ccf",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Syntax.lean"
    }
  ]
}