)]}' { "id": "e2761068dc6f9c07dbdbbb4df17ebc3fe6442ee2", "repo": "third_party/kernel", "revision": "876119e5ff899365b35f7a6949665d9eaaa10fbc", "path": "drivers/watchdog/pic32-wdt.c" }