RE: index.html missing from repo master branch -- regen upon merges ?

I thought we had agreed to always keep gh-pages in sync with master.  If it’s in the gh-pages branch but not master, that seems like a bug to me.

                                                          -- Mike

From: Adam Powers [mailto:adam@fidoalliance.org]
Sent: Thursday, April 7, 2016 2:34 PM
To: Hodges, Jeff <jeff.hodges@paypal.com>; W3C WebAuthn WG <public-webauthn@w3.org>; Mike Jones <Michael.Jones@microsoft.com>
Subject: RE: index.html missing from repo master branch -- regen upon merges ?

Isn’t it just the index.html that is stored on the gh-pages branch?

https://github.com/w3c/webauthn/blob/gh-pages/index.html





On April 7, 2016 at 10:32:08 AM, Mike Jones (michael.jones@microsoft.com<mailto:michael.jones@microsoft.com>) wrote:
I also noticed that this was missing after pulling master.  I assumed that it’s what’s deployed at http://w3c.github.io/webauthn/ when working on my reviews.  But if we could also populate it at https://github.com/w3c/webauthn - that would be good.

                                                          -- Mike

From: Hodges, Jeff [mailto:jeff.hodges@paypal.com]
Sent: Thursday, April 7, 2016 2:26 PM
To: W3C WebAuthn WG <public-webauthn@w3.org<mailto:public-webauthn@w3.org>>
Subject: index.html missing from repo master branch -- regen upon merges ?

Hubert & I notice that index.html missing from the github.com/w3c/webauthn repo master branch.

index.html is the "formatted" output gen'd by bikeshed.  if you have bikeshed installed, running  make in your repo clone directory will generate it. (ie, see the Makefile)

perhaps we should figure out a way that auto-generates index.html upon merges to master such that index.html tracks the current state of the post-merge(s) spec?

=JeffH