[W3C Publication] Failed: https://rawgit.com/w3c/resource-timing/gh-pages/W3CTRMANIFEST

On Fri Jun 15 16:17:09 UTC 2018, the request to publish https://rawgit.com/w3c/resource-timing/gh-pages/W3CTRMANIFEST failed. See details below.

{
  "id": "458c4674-2346-42a3-a307-74131bc23526",
  "url": "https://rawgit.com/w3c/resource-timing/gh-pages/W3CTRMANIFEST",
  "version": "1.12.8",
  "version-specberus": "3.7.2",
  "decision": "http://www.w3.org/2015/06/24-webperf-minutes.html#item01",
  "results": {
    "status": "failure",
    "jobs": {
      "retrieve-resources": {
        "status": "ok",
        "errors": []
      },
      "metadata": {
        "status": "ok",
        "errors": []
      },
      "specberus": {
        "status": "failure",
        "errors": [
          {
            "key": "error",
            "extra": {
              "line": 1862,
              "column": 133,
              "message": "Attribute “for” not allowed on element “a” at this point.",
              "link": "https://validator.w3.org/nu/?doc=http://owl.w3.org//458c4674-2346-42a3-a307-74131bc23526/Overview.html"
            },
            "type": {
              "name": "validation.html",
              "section": "format",
              "rule": "valideHTML"
            }
          }
        ]
      },
      "token-checker": {
        "status": "",
        "errors": []
      },
      "third-party-checker": {
        "status": "",
        "errors": []
      },
      "publish": {
        "status": "",
        "errors": []
      },
      "tr-install": {
        "status": "",
        "errors": []
      },
      "update-tr-shortlink": {
        "status": "",
        "errors": []
      }
    },
    "history": [
      {
        "time": "2018-06-15T16:17:06.434Z",
        "fact": "The file has been retrieved."
      },
      {
        "time": "2018-06-15T16:17:06.694Z",
        "fact": "The metadata have been extracted."
      },
      {
        "time": "2018-06-15T16:17:09.667Z",
        "fact": "The document failed Specberus."
      }
    ],
    "metadata": {
      "previousVersion": "https://www.w3.org/TR/2018/WD-resource-timing-2-20180518/",
      "editors": [
        76565,
        56102,
        45188,
        44357,
        43685,
        45288
      ],
      "delivererIDs": [
        45211
      ],
      "docDate": "2018-6-15",
      "processRules": "https://www.w3.org/2018/Process-20180201/",
      "profile": "WD",
      "latestVersion": "https://www.w3.org/TR/resource-timing-2/",
      "editorDraft": "https://w3c.github.io/resource-timing/",
      "title": "Resource Timing Level 2",
      "thisVersion": "https://www.w3.org/TR/2018/WD-resource-timing-2-20180615/",
      "rectrack": true,
      "informative": false
    }
  }
}

Received on Friday, 15 June 2018 16:17:12 UTC