)]}' { "id": "25d861efeda9dac53796c77c0c8b311f013bbb19", "repo": "src", "revision": "b75f2541c942e2f35c3b7d7003ed17504176ced1", "path": "tools/whitespace.txt" }