)]}'
{
  "commit": "583ce45040601430c435ba94e1dc9887a1d1d2a7",
  "tree": "bb4852a1289b07fd2874a9ccc252888f12af99fd",
  "parents": [
    "c0d5b9b52c31c181db0902b4cc107459f9df6563"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Tue Dec 02 11:09:19 2025 +1100"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Tue Dec 02 11:09:19 2025 +1100"
  },
  "message": "fix: improve \"no library suggestions engine registered\" error message\n\nThis PR improves the error message when no library suggestions engine\nis registered to recommend importing `Lean.LibrarySuggestions.Default`\nfor the built-in engine.\n\n🤖 Generated with [Claude Code](https://claude.com/claude-code)\n\nCo-Authored-By: Claude \u003cnoreply@anthropic.com\u003e\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "86de26cfc626e200fa6239872a573beab333d6f8",
      "old_mode": 33188,
      "old_path": "src/Lean/LibrarySuggestions/Basic.lean",
      "new_id": "ba8f1820e6852970b71042ef9b82c699d70196f7",
      "new_mode": 33188,
      "new_path": "src/Lean/LibrarySuggestions/Basic.lean"
    },
    {
      "type": "modify",
      "old_id": "8bd0c05c50d03d1d0b75775a30fe2542532b74b2",
      "old_mode": 33188,
      "old_path": "tests/lean/run/grind_suggestions.lean",
      "new_id": "133e08586b79b822a8ba7b94e0946ad860257c06",
      "new_mode": 33188,
      "new_path": "tests/lean/run/grind_suggestions.lean"
    }
  ]
}