)]}'
{
  "id": "3753f1047b27088cd21d20e0f6ee99c674fd99cb",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "817928a09584ddb2a690477f9554a3f17498bace",
      "name": "run_miri.sh"
    }
  ]
}