[Specifications] Pull Request: Fix GitHub pages update script

• From: Markus Lanthaler via GitHub <sysbot+gh@w3.org>
• Date: Wed, 12 Jul 2017 07:14:21 +0000
• To: public-hydra-logs@w3.org
• Message-ID: <pull_request.opened-130069620-1499843659-sysbot+gh@w3.org>

lanthaler has just submitted a new pull request for https://github.com/HydraCG/Specifications:

== Fix GitHub pages update script ==


See https://github.com/HydraCG/Specifications/pull/130

Received on Wednesday, 12 July 2017 07:14:26 UTC