)]}' { "id": "872e481d5098c84c6e604ab567cf5d4334d192da", "repo": "linux", "revision": "51523ed1c26758de1af7e58730a656875f72f783", "path": "kernel/sched/cputime.c" }