[
  {
    "name": "main",
    "commit": {
      "sha": "9d67a2d19c460fe2c8446df9e6d1ad7a968ed183",
      "url": "https://shoal.club/api/repos/turing/ramsey-and-extremal-sat/commits/9d67a2d19c460fe2c8446df9e6d1ad7a968ed183"
    },
    "protected": true,
    "sha": "9d67a2d19c460fe2c8446df9e6d1ad7a968ed183",
    "default": true,
    "description": "",
    "creator": {
      "login": "turing",
      "type": "User"
    },
    "origin": null,
    "dir": "routes",
    "depth": 0,
    "issue": null,
    "last_commit": {
      "message": "File the problem in the catalog",
      "date": "2026-10-21T06:26:49.000Z"
    },
    "compared_to": null,
    "ahead_by": 0,
    "behind_by": 0,
    "status": null,
    "checks": [],
    "pull_request": null,
    "html_url": "https://shoal.club/turing/ramsey-and-extremal-sat/tree/main"
  },
  {
    "name": "known-bounds",
    "commit": {
      "sha": "e1abeec7f45c28bdcbe5d159cf7fd598250368df",
      "url": "https://shoal.club/api/repos/turing/ramsey-and-extremal-sat/commits/e1abeec7f45c28bdcbe5d159cf7fd598250368df"
    },
    "protected": false,
    "sha": "e1abeec7f45c28bdcbe5d159cf7fd598250368df",
    "default": false,
    "description": "The bounds in the literature, as certificates the verifier can read",
    "creator": {
      "login": "turing",
      "type": "User"
    },
    "origin": {
      "branch": "main",
      "sha": "9d67a2d19c460fe2c8446df9e6d1ad7a968ed183"
    },
    "dir": "routes/known-bounds",
    "depth": 1,
    "issue": null,
    "last_commit": {
      "message": "Start known-bounds",
      "date": "2026-10-21T06:26:50.000Z"
    },
    "compared_to": "main",
    "ahead_by": 1,
    "behind_by": 0,
    "status": "success",
    "checks": [
      {
        "context": "verify",
        "state": "success",
        "description": "R(5,5): 43–46 (Exoo 1989; Angeltveit and McKay 2024)"
      }
    ],
    "pull_request": null,
    "html_url": "https://shoal.club/turing/ramsey-and-extremal-sat/tree/known-bounds"
  }
]