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