{
  "name": "current_github",
  "version": "0.7.4",
  "files": [
    "doc/current_github/Current_github/Auth/index.html",
    "doc/current_github/Current_github/App/index.html",
    "doc/current_github/Current_github/Installation/index.html",
    "doc/current_github/Current_github/Api/Anonymous/index.html",
    "doc/current_github/Current_github/Api/Monitor/argument-1-Query/index.html",
    "doc/current_github/Current_github/Api/Monitor/index.html",
    "doc/current_github/Current_github/Api/module-type-GRAPHQL_QUERY/index.html",
    "doc/current_github/Current_github/Api/Ref_map/index.html",
    "doc/current_github/Current_github/Api/Ref/index.html",
    "doc/current_github/Current_github/Api/Repo/index.html",
    "doc/current_github/Current_github/Api/CheckRun/index.html",
    "doc/current_github/Current_github/Api/Commit/index.html",
    "doc/current_github/Current_github/Api/CheckRunStatus/index.html",
    "doc/current_github/Current_github/Api/Status/index.html",
    "doc/current_github/Current_github/Api/index.html",
    "doc/current_github/Current_github/Repo_id/index.html",
    "doc/current_github/Current_github/index.html",
    "doc/current_github/index.html",
    "doc/src/current_github/current_github__.ml.html",
    "doc/src/current_github/current_github.ml.html",
    "doc/src/current_github/log.ml.html",
    "doc/src/current_github/repo_id.ml.html",
    "doc/src/current_github/auth.ml.html",
    "doc/src/current_github/token.ml.html",
    "doc/src/current_github/app.ml.html",
    "doc/src/current_github/installation.ml.html",
    "doc/src/current_github/webhook_event.ml.html",
    "doc/src/current_github/api.ml.html", "doc/src/index.html",
    "doc/index.html", "doc/README.html", "doc/CHANGES.html"
  ],
  "failed": false,
  "redirections": [
    {
      "old_path": "doc/Current_github/Repo_id/index.html",
      "new_path": "doc/current_github/Current_github/Repo_id/index.html"
    },
    {
      "old_path": "doc/Current_github/index.html",
      "new_path": "doc/current_github/Current_github/index.html"
    },
    {
      "old_path": "doc/Current_github/Api/Monitor/index.html",
      "new_path": "doc/current_github/Current_github/Api/Monitor/index.html"
    },
    {
      "old_path": "doc/Current_github/Api/Repo/index.html",
      "new_path": "doc/current_github/Current_github/Api/Repo/index.html"
    },
    {
      "old_path": "doc/Current_github/Api/index.html",
      "new_path": "doc/current_github/Current_github/Api/index.html"
    },
    {
      "old_path": "doc/Current_github/Api/Status/index.html",
      "new_path": "doc/current_github/Current_github/Api/Status/index.html"
    },
    {
      "old_path": "doc/Current_github/Api/CheckRun/index.html",
      "new_path": "doc/current_github/Current_github/Api/CheckRun/index.html"
    },
    {
      "old_path": "doc/Current_github/Api/Anonymous/index.html",
      "new_path": "doc/current_github/Current_github/Api/Anonymous/index.html"
    },
    {
      "old_path": "doc/Current_github/Installation/index.html",
      "new_path": "doc/current_github/Current_github/Installation/index.html"
    },
    {
      "old_path": "doc/Current_github/Api/CheckRunStatus/index.html",
      "new_path": "doc/current_github/Current_github/Api/CheckRunStatus/index.html"
    },
    {
      "old_path": "doc/Current_github/Api/Ref_map/index.html",
      "new_path": "doc/current_github/Current_github/Api/Ref_map/index.html"
    },
    {
      "old_path": "doc/Current_github/Api/Ref/index.html",
      "new_path": "doc/current_github/Current_github/Api/Ref/index.html"
    },
    {
      "old_path": "doc/Current_github/Api/module-type-GRAPHQL_QUERY/index.html",
      "new_path": "doc/current_github/Current_github/Api/module-type-GRAPHQL_QUERY/index.html"
    },
    {
      "old_path": "doc/Current_github/Api/Monitor/argument-1-Query/index.html",
      "new_path": "doc/current_github/Current_github/Api/Monitor/argument-1-Query/index.html"
    },
    {
      "old_path": "doc/Current_github/App/index.html",
      "new_path": "doc/current_github/Current_github/App/index.html"
    },
    {
      "old_path": "doc/Current_github/Api/Commit/index.html",
      "new_path": "doc/current_github/Current_github/Api/Commit/index.html"
    },
    {
      "old_path": "doc/Current_github/Auth/index.html",
      "new_path": "doc/current_github/Current_github/Auth/index.html"
    }
  ]
}