)]}'
{
  "commit": "07a4ff2d0fb3704888e2e3857ca563732395b4cc",
  "tree": "a5894999ebfdc50aa6b27aa94b0bc2b3c060cced",
  "parents": [
    "0cf306eb49039506b7866cec4947871fe0a76c53"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Sat Jul 17 12:55:00 2021 +0200"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Sat Jul 17 17:57:36 2021 +0200"
  },
  "message": "fix: make precedence mandatory for mixfix commands\n\nResolves #577\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "c8b1c66ba923897404217878b008bcc915cb2685",
      "old_mode": 33188,
      "old_path": "src/Init/Meta.lean",
      "new_id": "a2facb450ccf936cb7ec43097d9f0687b33112e2",
      "new_mode": 33188,
      "new_path": "src/Init/Meta.lean"
    },
    {
      "type": "modify",
      "old_id": "d108cbb928224f5f045d374e5657b86b2ae87766",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Mixfix.lean",
      "new_id": "8c26c72f7f531a1ad17086ae1d10cd4a237ef704",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Mixfix.lean"
    },
    {
      "type": "modify",
      "old_id": "8fd0120373a4eb049f358f9152801041d07b1719",
      "old_mode": 33188,
      "old_path": "src/Lean/Parser/Syntax.lean",
      "new_id": "6a5061b94e748d885e9a0fdcb8c2b589a2982af0",
      "new_mode": 33188,
      "new_path": "src/Lean/Parser/Syntax.lean"
    },
    {
      "type": "modify",
      "old_id": "d15d20501d5279a6351e2dc6a9368ac37b9dca34",
      "old_mode": 33188,
      "old_path": "tests/lean/ppNotationCode.lean",
      "new_id": "4807ec5ced05d0f80ca6060fa34699931b15e90a",
      "new_mode": 33188,
      "new_path": "tests/lean/ppNotationCode.lean"
    },
    {
      "type": "modify",
      "old_id": "4228500829e31c3e57b34f77d5f12a36c9637f70",
      "old_mode": 33188,
      "old_path": "tests/lean/ppNotationCode.lean.expected.out",
      "new_id": "132b280079ad931fe0675872b3021a5f11ac35f8",
      "new_mode": 33188,
      "new_path": "tests/lean/ppNotationCode.lean.expected.out"
    }
  ]
}