)]}'
{
  "id": "3d6bc7047dc6f79459ddc0d1a48f2cc90592a0ab",
  "repo": "ipxe",
  "revision": "9441e24e9eea7d0da5b05dba3fa3ea3cb3b22185",
  "path": "src/include/bits/reboot.h"
}