)]}' { "id": "5466eeea261cd17bab91e6b99a8d520009147e72", "repo": "linux", "revision": "2adc82006bcb067523bedd38e93711c80fd274c1", "path": "drivers/power/reset/gpio-restart.c" }