)]}'
{
  "id": "8e144306e2622fd801886851eba895c5cf522a08",
  "repo": "third_party/kernel",
  "revision": "bf945a4e17d9a0c73881d4a6ac2ac8e7e5f85ca0",
  "path": "include/linux/gpio/driver.h"
}