)]}' { "id": "33d3ce9c888ecfe8e1fe76801d336f081fd5c145", "repo": "linux", "revision": "1367afaa2ee90d1c956dfc224e199fcb3ff3f8cc", "path": "drivers/infiniband/Kconfig" }