)]}' { "id": "daca8227bfc6f65729cafc7e9bf0c05b2336031c", "repo": "linux", "revision": "789b6cc2a5f9123b9c549b886fdc47c865cfe0ba", "path": "drivers/video/display_timing.c" }