[W3C Publication] Failed: https://w3c.github.io/selection-api/W3CTRMANIFEST

On Fri Oct 30 05:56:24 UTC 2015, the request to publish https://w3c.github.io/selection-api/W3CTRMANIFEST failed. See details below.

{
  "id": "59a765d2-5338-42ea-b228-9bd588d6072e",
  "url": "https://w3c.github.io/selection-api/W3CTRMANIFEST",
  "version": "1.3.1",
  "version-specberus": "1.2.1",
  "decision": "https://lists.w3.org/Archives/Public/public-webapps/2014JulSep/0627.html",
  "results": {
    "status": "error",
    "jobs": {
      "retrieve-resources": {
        "status": "ok",
        "errors": []
      },
      "specberus": {
        "status": "ok",
        "errors": []
      },
      "token-checker": {
        "status": "ok",
        "errors": []
      },
      "third-party-checker": {
        "status": "ok",
        "errors": []
      },
      "publish": {
        "status": "error",
        "errors": [
          "Error: Documents changing their deliverers are not supported yet."
        ]
      },
      "tr-install": {
        "status": "",
        "errors": []
      },
      "update-tr-shortlink": {
        "status": "",
        "errors": []
      }
    },
    "history": [
      {
        "time": "2015-10-30T05:56:12.347Z",
        "fact": "The file has been retrieved."
      },
      {
        "time": "2015-10-30T05:56:13.578Z",
        "fact": "The document passed specberus."
      },
      {
        "time": "2015-10-30T05:56:19.354Z",
        "fact": "The document passed the third party checker."
      },
      {
        "time": "2015-10-30T05:56:24.631Z",
        "fact": "The document could not be published: Documents changing their deliverers are not supported yet."
      }
    ],
    "metadata": {
      "previousVersion": "http://www.w3.org/TR/2015/WD-selection-api-20151008/",
      "deliverers": [
        {
          "homepage": "https://www.w3.org/community/editing/",
          "name": "W3C Editing APIs Community Group"
        },
        {
          "homepage": "https://www.w3.org/community/editing/",
          "name": "W3C Editing APIs Community Group"
        },
        {
          "homepage": "http://www.w3.org/WebPlatform/WG/",
          "name": "Web Platform Working Group"
        }
      ],
      "delivererIDs": [
        83482
      ],
      "docDate": "2015-10-30T00:00:00.000Z",
      "editorIDs": [
        49910
      ],
      "process": "http://www.w3.org/2015/Process-20150901/",
      "latestVersion": "http://www.w3.org/TR/selection-api/",
      "status": "WD",
      "title": "Selection API",
      "thisVersion": "http://www.w3.org/TR/2015/WD-selection-api-20151030/",
      "editorsDraft": "http://w3c.github.io/selection-api/"
    }
  }
}

Received on Friday, 30 October 2015 05:56:26 UTC