{
  "name": "github",
  "version": "4.4.0",
  "files": [
    "doc/github/Github_core/Make/Git_obj/index.html",
    "doc/github/Github_core/Make/Search/index.html",
    "doc/github/Github_core/Make/Check/index.html",
    "doc/github/Github_core/Make/Emoji/index.html",
    "doc/github/Github_core/Make/Gist/index.html",
    "doc/github/Github_core/Make/Deploy_key/index.html",
    "doc/github/Github_core/Make/Release/index.html",
    "doc/github/Github_core/Make/Milestone/index.html",
    "doc/github/Github_core/Make/Collaborator/index.html",
    "doc/github/Github_core/Make/Label/index.html",
    "doc/github/Github_core/Make/Issue/index.html",
    "doc/github/Github_core/Make/Pull/index.html",
    "doc/github/Github_core/Make/Status/index.html",
    "doc/github/Github_core/Make/Stats/index.html",
    "doc/github/Github_core/Make/Repo/Hook/index.html",
    "doc/github/Github_core/Make/Repo/index.html",
    "doc/github/Github_core/Make/Event/index.html",
    "doc/github/Github_core/Make/Team/index.html",
    "doc/github/Github_core/Make/Organization/Hook/index.html",
    "doc/github/Github_core/Make/Organization/index.html",
    "doc/github/Github_core/Make/User/index.html",
    "doc/github/Github_core/Make/Rate_limit/index.html",
    "doc/github/Github_core/Make/Filter/index.html",
    "doc/github/Github_core/Make/URI/index.html",
    "doc/github/Github_core/Make/API/index.html",
    "doc/github/Github_core/Make/Token/index.html",
    "doc/github/Github_core/Make/Scope/index.html",
    "doc/github/Github_core/Make/Stream/index.html",
    "doc/github/Github_core/Make/Endpoint/Version/index.html",
    "doc/github/Github_core/Make/Endpoint/index.html",
    "doc/github/Github_core/Make/Monad/index.html",
    "doc/github/Github_core/Make/Response/index.html",
    "doc/github/Github_core/Make/argument-3-CL/index.html",
    "doc/github/Github_core/Make/argument-2-Time/index.html",
    "doc/github/Github_core/Make/argument-1-Env/index.html",
    "doc/github/Github_core/Make/index.html",
    "doc/github/Github_core/index.html",
    "doc/github/Github_s/module-type-Time/index.html",
    "doc/github/Github_s/module-type-Env/index.html",
    "doc/github/Github_s/module-type-Github/Git_obj/index.html",
    "doc/github/Github_s/module-type-Github/Search/index.html",
    "doc/github/Github_s/module-type-Github/Check/index.html",
    "doc/github/Github_s/module-type-Github/Emoji/index.html",
    "doc/github/Github_s/module-type-Github/Gist/index.html",
    "doc/github/Github_s/module-type-Github/Deploy_key/index.html",
    "doc/github/Github_s/module-type-Github/Release/index.html",
    "doc/github/Github_s/module-type-Github/Milestone/index.html",
    "doc/github/Github_s/module-type-Github/Collaborator/index.html",
    "doc/github/Github_s/module-type-Github/Label/index.html",
    "doc/github/Github_s/module-type-Github/Issue/index.html",
    "doc/github/Github_s/module-type-Github/Pull/index.html",
    "doc/github/Github_s/module-type-Github/Status/index.html",
    "doc/github/Github_s/module-type-Github/Stats/index.html",
    "doc/github/Github_s/module-type-Github/Repo/Hook/index.html",
    "doc/github/Github_s/module-type-Github/Repo/index.html",
    "doc/github/Github_s/module-type-Github/Event/index.html",
    "doc/github/Github_s/module-type-Github/Team/index.html",
    "doc/github/Github_s/module-type-Github/Organization/Hook/index.html",
    "doc/github/Github_s/module-type-Github/Organization/index.html",
    "doc/github/Github_s/module-type-Github/User/index.html",
    "doc/github/Github_s/module-type-Github/Rate_limit/index.html",
    "doc/github/Github_s/module-type-Github/Filter/index.html",
    "doc/github/Github_s/module-type-Github/URI/index.html",
    "doc/github/Github_s/module-type-Github/API/index.html",
    "doc/github/Github_s/module-type-Github/Token/index.html",
    "doc/github/Github_s/module-type-Github/Scope/index.html",
    "doc/github/Github_s/module-type-Github/Stream/index.html",
    "doc/github/Github_s/module-type-Github/Endpoint/Version/index.html",
    "doc/github/Github_s/module-type-Github/Endpoint/index.html",
    "doc/github/Github_s/module-type-Github/Monad/index.html",
    "doc/github/Github_s/module-type-Github/Response/index.html",
    "doc/github/Github_s/module-type-Github/index.html",
    "doc/github/Github_s/index.html", "doc/github/index.html",
    "doc/src/github/github_core.ml.html", "doc/src/index.html",
    "doc/index.html", "doc/README.html", "doc/LICENSE.html",
    "doc/CHANGES.html"
  ],
  "failed": false,
  "redirections": [
    {
      "old_path": "doc/Github_core/Make/Git_obj/index.html",
      "new_path": "doc/github/Github_core/Make/Git_obj/index.html"
    },
    {
      "old_path": "doc/Github_s/module-type-Github/Check/index.html",
      "new_path": "doc/github/Github_s/module-type-Github/Check/index.html"
    },
    {
      "old_path": "doc/Github_s/module-type-Env/index.html",
      "new_path": "doc/github/Github_s/module-type-Env/index.html"
    },
    {
      "old_path": "doc/Github_core/Make/Rate_limit/index.html",
      "new_path": "doc/github/Github_core/Make/Rate_limit/index.html"
    },
    {
      "old_path": "doc/Github_core/Make/Repo/index.html",
      "new_path": "doc/github/Github_core/Make/Repo/index.html"
    },
    {
      "old_path": "doc/Github_s/module-type-Time/index.html",
      "new_path": "doc/github/Github_s/module-type-Time/index.html"
    },
    {
      "old_path": "doc/Github_core/Make/Gist/index.html",
      "new_path": "doc/github/Github_core/Make/Gist/index.html"
    },
    {
      "old_path": "doc/Github_core/Make/argument-2-Time/index.html",
      "new_path": "doc/github/Github_core/Make/argument-2-Time/index.html"
    },
    {
      "old_path": "doc/Github_core/Make/Endpoint/index.html",
      "new_path": "doc/github/Github_core/Make/Endpoint/index.html"
    },
    {
      "old_path": "doc/Github_s/module-type-Github/Filter/index.html",
      "new_path": "doc/github/Github_s/module-type-Github/Filter/index.html"
    },
    {
      "old_path": "doc/Github_core/Make/Team/index.html",
      "new_path": "doc/github/Github_core/Make/Team/index.html"
    },
    {
      "old_path": "doc/Github_core/Make/Response/index.html",
      "new_path": "doc/github/Github_core/Make/Response/index.html"
    },
    {
      "old_path": "doc/Github_s/module-type-Github/Emoji/index.html",
      "new_path": "doc/github/Github_s/module-type-Github/Emoji/index.html"
    },
    {
      "old_path": "doc/Github_s/module-type-Github/Release/index.html",
      "new_path": "doc/github/Github_s/module-type-Github/Release/index.html"
    },
    {
      "old_path": "doc/Github_core/Make/Check/index.html",
      "new_path": "doc/github/Github_core/Make/Check/index.html"
    },
    {
      "old_path": "doc/Github_core/Make/URI/index.html",
      "new_path": "doc/github/Github_core/Make/URI/index.html"
    },
    {
      "old_path": "doc/Github_s/module-type-Github/Repo/Hook/index.html",
      "new_path": "doc/github/Github_s/module-type-Github/Repo/Hook/index.html"
    },
    {
      "old_path": "doc/Github_core/Make/Token/index.html",
      "new_path": "doc/github/Github_core/Make/Token/index.html"
    },
    {
      "old_path": "doc/Github_s/module-type-Github/Search/index.html",
      "new_path": "doc/github/Github_s/module-type-Github/Search/index.html"
    },
    {
      "old_path": "doc/Github_s/module-type-Github/Git_obj/index.html",
      "new_path": "doc/github/Github_s/module-type-Github/Git_obj/index.html"
    },
    {
      "old_path": "doc/Github_s/module-type-Github/Stats/index.html",
      "new_path": "doc/github/Github_s/module-type-Github/Stats/index.html"
    },
    {
      "old_path": "doc/Github_core/Make/Repo/Hook/index.html",
      "new_path": "doc/github/Github_core/Make/Repo/Hook/index.html"
    },
    {
      "old_path": "doc/Github_s/module-type-Github/Status/index.html",
      "new_path": "doc/github/Github_s/module-type-Github/Status/index.html"
    },
    {
      "old_path": "doc/Github_core/Make/Milestone/index.html",
      "new_path": "doc/github/Github_core/Make/Milestone/index.html"
    },
    {
      "old_path": "doc/Github_core/Make/Filter/index.html",
      "new_path": "doc/github/Github_core/Make/Filter/index.html"
    },
    {
      "old_path": "doc/Github_s/module-type-Github/index.html",
      "new_path": "doc/github/Github_s/module-type-Github/index.html"
    },
    {
      "old_path": "doc/Github_s/module-type-Github/Event/index.html",
      "new_path": "doc/github/Github_s/module-type-Github/Event/index.html"
    },
    {
      "old_path": "doc/Github_s/module-type-Github/Response/index.html",
      "new_path": "doc/github/Github_s/module-type-Github/Response/index.html"
    },
    {
      "old_path": "doc/Github_core/Make/Stream/index.html",
      "new_path": "doc/github/Github_core/Make/Stream/index.html"
    },
    {
      "old_path": "doc/Github_core/Make/Emoji/index.html",
      "new_path": "doc/github/Github_core/Make/Emoji/index.html"
    },
    {
      "old_path": "doc/Github_core/Make/Event/index.html",
      "new_path": "doc/github/Github_core/Make/Event/index.html"
    },
    {
      "old_path": "doc/Github_s/module-type-Github/Rate_limit/index.html",
      "new_path": "doc/github/Github_s/module-type-Github/Rate_limit/index.html"
    },
    {
      "old_path": "doc/Github_core/Make/Endpoint/Version/index.html",
      "new_path": "doc/github/Github_core/Make/Endpoint/Version/index.html"
    },
    {
      "old_path": "doc/Github_s/module-type-Github/Collaborator/index.html",
      "new_path": "doc/github/Github_s/module-type-Github/Collaborator/index.html"
    },
    {
      "old_path": "doc/Github_core/Make/argument-1-Env/index.html",
      "new_path": "doc/github/Github_core/Make/argument-1-Env/index.html"
    },
    {
      "old_path": "doc/Github_s/module-type-Github/Repo/index.html",
      "new_path": "doc/github/Github_s/module-type-Github/Repo/index.html"
    },
    {
      "old_path": "doc/Github_core/Make/Monad/index.html",
      "new_path": "doc/github/Github_core/Make/Monad/index.html"
    },
    {
      "old_path": "doc/Github_s/module-type-Github/Scope/index.html",
      "new_path": "doc/github/Github_s/module-type-Github/Scope/index.html"
    },
    {
      "old_path": "doc/Github_core/Make/Scope/index.html",
      "new_path": "doc/github/Github_core/Make/Scope/index.html"
    },
    {
      "old_path": "doc/Github_core/Make/Stats/index.html",
      "new_path": "doc/github/Github_core/Make/Stats/index.html"
    },
    {
      "old_path": "doc/Github_core/Make/Issue/index.html",
      "new_path": "doc/github/Github_core/Make/Issue/index.html"
    },
    {
      "old_path": "doc/Github_s/module-type-Github/Organization/Hook/index.html",
      "new_path": "doc/github/Github_s/module-type-Github/Organization/Hook/index.html"
    },
    {
      "old_path": "doc/Github_core/Make/Collaborator/index.html",
      "new_path": "doc/github/Github_core/Make/Collaborator/index.html"
    },
    {
      "old_path": "doc/Github_s/module-type-Github/User/index.html",
      "new_path": "doc/github/Github_s/module-type-Github/User/index.html"
    },
    {
      "old_path": "doc/Github_s/module-type-Github/Stream/index.html",
      "new_path": "doc/github/Github_s/module-type-Github/Stream/index.html"
    },
    {
      "old_path": "doc/Github_s/module-type-Github/Milestone/index.html",
      "new_path": "doc/github/Github_s/module-type-Github/Milestone/index.html"
    },
    {
      "old_path": "doc/Github_core/Make/User/index.html",
      "new_path": "doc/github/Github_core/Make/User/index.html"
    },
    {
      "old_path": "doc/Github_core/Make/Release/index.html",
      "new_path": "doc/github/Github_core/Make/Release/index.html"
    },
    {
      "old_path": "doc/Github_s/module-type-Github/Token/index.html",
      "new_path": "doc/github/Github_s/module-type-Github/Token/index.html"
    },
    {
      "old_path": "doc/Github_core/Make/argument-3-CL/index.html",
      "new_path": "doc/github/Github_core/Make/argument-3-CL/index.html"
    },
    {
      "old_path": "doc/Github_s/module-type-Github/Label/index.html",
      "new_path": "doc/github/Github_s/module-type-Github/Label/index.html"
    },
    {
      "old_path": "doc/Github_core/Make/Organization/Hook/index.html",
      "new_path": "doc/github/Github_core/Make/Organization/Hook/index.html"
    },
    {
      "old_path": "doc/Github_core/Make/Pull/index.html",
      "new_path": "doc/github/Github_core/Make/Pull/index.html"
    },
    {
      "old_path": "doc/Github_core/Make/Deploy_key/index.html",
      "new_path": "doc/github/Github_core/Make/Deploy_key/index.html"
    },
    {
      "old_path": "doc/Github_s/index.html",
      "new_path": "doc/github/Github_s/index.html"
    },
    {
      "old_path": "doc/Github_core/Make/Search/index.html",
      "new_path": "doc/github/Github_core/Make/Search/index.html"
    },
    {
      "old_path": "doc/Github_s/module-type-Github/Pull/index.html",
      "new_path": "doc/github/Github_s/module-type-Github/Pull/index.html"
    },
    {
      "old_path": "doc/Github_s/module-type-Github/Deploy_key/index.html",
      "new_path": "doc/github/Github_s/module-type-Github/Deploy_key/index.html"
    },
    {
      "old_path": "doc/Github_s/module-type-Github/Gist/index.html",
      "new_path": "doc/github/Github_s/module-type-Github/Gist/index.html"
    },
    {
      "old_path": "doc/Github_core/Make/Label/index.html",
      "new_path": "doc/github/Github_core/Make/Label/index.html"
    },
    {
      "old_path": "doc/Github_s/module-type-Github/URI/index.html",
      "new_path": "doc/github/Github_s/module-type-Github/URI/index.html"
    },
    {
      "old_path": "doc/Github_core/Make/Organization/index.html",
      "new_path": "doc/github/Github_core/Make/Organization/index.html"
    },
    {
      "old_path": "doc/Github_s/module-type-Github/Monad/index.html",
      "new_path": "doc/github/Github_s/module-type-Github/Monad/index.html"
    },
    {
      "old_path": "doc/Github_s/module-type-Github/Endpoint/index.html",
      "new_path": "doc/github/Github_s/module-type-Github/Endpoint/index.html"
    },
    {
      "old_path": "doc/Github_s/module-type-Github/Organization/index.html",
      "new_path": "doc/github/Github_s/module-type-Github/Organization/index.html"
    },
    {
      "old_path": "doc/Github_s/module-type-Github/Endpoint/Version/index.html",
      "new_path": "doc/github/Github_s/module-type-Github/Endpoint/Version/index.html"
    },
    {
      "old_path": "doc/Github_core/Make/API/index.html",
      "new_path": "doc/github/Github_core/Make/API/index.html"
    },
    {
      "old_path": "doc/Github_core/Make/index.html",
      "new_path": "doc/github/Github_core/Make/index.html"
    },
    {
      "old_path": "doc/Github_s/module-type-Github/Team/index.html",
      "new_path": "doc/github/Github_s/module-type-Github/Team/index.html"
    },
    {
      "old_path": "doc/Github_s/module-type-Github/API/index.html",
      "new_path": "doc/github/Github_s/module-type-Github/API/index.html"
    },
    {
      "old_path": "doc/Github_s/module-type-Github/Issue/index.html",
      "new_path": "doc/github/Github_s/module-type-Github/Issue/index.html"
    },
    {
      "old_path": "doc/Github_core/index.html",
      "new_path": "doc/github/Github_core/index.html"
    },
    {
      "old_path": "doc/Github_core/Make/Status/index.html",
      "new_path": "doc/github/Github_core/Make/Status/index.html"
    }
  ]
}