)]}'
{
  "checker-framework": {
    "name": "typetools/checker-framework",
    "clone_url": "https://third-party-mirror.googlesource.com/typetools/checker-framework"
  }
}