)]}' { "id": "829b45f420212c550d73d4918d01f6166484b7d9", "repo": "linux", "revision": "2fcfe7b79f081aa4cf2a9add6c20abc3663e5640", "path": "drivers/power/reset/gpio-restart.c" }