- From: Domenic Denicola <notifications@github.com>
- Date: Fri, 20 Jan 2017 13:24:11 -0800
- To: heycam/webidl <webidl@noreply.github.com>
- Cc: Subscribed <subscribed@noreply.github.com>
Received on Friday, 20 January 2017 21:24:43 UTC
I guess that refers to gh-pages and the way GitHub is supposed to automatically deploy to https://heycam.github.io/webidl/. It does indeed seem the change is not reflected there yet... @heycam could re-trigger a deploy from the settings panel, or we could hope that it's temporary and that the next commit will deploy fine. -- You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub: https://github.com/heycam/webidl/pull/272#issuecomment-274183617
Received on Friday, 20 January 2017 21:24:43 UTC