)]}' { "id": "ed25168619fc5d9de5360ca65bcf8ea9e1bfec66", "repo": "linux", "revision": "1ff2fc02862d52e18fd3daabcfe840ec27e920a8", "path": "drivers/gpu/drm/drm_file.c" }