)]}' { "id": "947be761dfa400739620ea8b2b22866cd72b5079", "repo": "linux", "revision": "2f2183243f52a8ee77eecba4796316606701d101", "path": "drivers/video/hdmi.c" }