)]}'
{
  "commit": "5bbb2329b782dc5e859b98693fcb6d7c686f6de5",
  "tree": "5bab8b7f1032e14db15328c95bc57833eaa80375",
  "parents": [
    "27a7a0a2bdb00e5d562275ff9e8f18ff5b8822d2"
  ],
  "author": {
    "name": "Joachim Breitner",
    "email": "mail@joachim-breitner.de",
    "time": "Fri Apr 18 09:28:20 2025 +0200"
  },
  "committer": {
    "name": "GitHub",
    "email": "noreply@github.com",
    "time": "Fri Apr 18 09:28:20 2025 +0200"
  },
  "message": "docs: RArray is now universe-polymorphic\n\nThis PR adjusts the RArray docstring to the new realty from #8014.",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "ece98d53773334c600554e687df1245737e1be23",
      "old_mode": 33188,
      "old_path": "src/Init/Data/RArray.lean",
      "new_id": "0b423d8fdd1593242d282f115fd45f3f99423809",
      "new_mode": 33188,
      "new_path": "src/Init/Data/RArray.lean"
    }
  ]
}