[W3C Publication] Failed: https://w3c.github.io/resource-timing/W3CTRMANIFEST

On Tue Jun  2 13:54:08 UTC 2015, the request to publish https://w3c.github.io/resource-timing/W3CTRMANIFEST failed. See details below.

{
  "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": "ok",
      "errors": []
    },
    "tr-install": {
      "status": "error",
      "errors": [
        "Error: Command failed: /bin/sh -c /u/WWW/Systems/Mirroring/bin/cvs/cvs-publisher /u/echidna-staging/da9cad34-2720-4606-ba78-26632d1c211d/ /u/echidna-staging//TR/2015/WD-resource-timing-20150602/\nDestination dir does not match our permitted path\n"
      ]
    },
    "update-tr-shortlink": {
      "status": "",
      "errors": []
    }
  },
  "history": [
    {
      "time": "2015-06-02T13:54:05.026Z",
      "fact": "The file has been retrieved."
    },
    {
      "time": "2015-06-02T13:54:06.641Z",
      "fact": "The document passed specberus."
    },
    {
      "time": "2015-06-02T13:54:07.275Z",
      "fact": "The document passed the third party checker."
    },
    {
      "time": "2015-06-02T13:54:08.041Z",
      "fact": "An error occurred while installing the document in TR"
    }
  ],
  "metadata": {
    "previousVersion": "http://www.w3.org/TR/2015/WD-resource-timing-20150506/",
    "deliverers": [
      {
        "homepage": "http://www.w3.org/2010/webperf/",
        "name": "Web Performance Working Group"
      }
    ],
    "delivererIDs": [
      45211
    ],
    "docDate": "2015-06-02T00:00:00.000Z",
    "editorIDs": [
      45188,
      76565,
      44357,
      43685,
      45288
    ],
    "process": "http://www.w3.org/2014/Process-20140801/",
    "latestVersion": "http://www.w3.org/TR/resource-timing/",
    "status": "WD",
    "title": "Resource Timing",
    "thisVersion": "http://www.w3.org/TR/2015/WD-resource-timing-20150602/",
    "editorsDraft": "https://w3c.github.io/resource-timing/"
  }
}

Received on Tuesday, 2 June 2015 13:54:09 UTC