)]}'
{
  "id": "3c1f41bdcca6c6fd7ef721d7821433059962ee4b",
  "repo": "third_party/rust",
  "revision": "HEAD",
  "path": "src/tools/miri/.editorconfig"
}