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