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