)]}' { "id": "7fb5bcf39456c69863a89c91dfb7f7d733e1d56d", "repo": "vendor/google/platform", "revision": "9d8e2346bdd8df4325b694752d11bedbc030d58a", "path": "options.py" }