Created a github repository

Guys,

I have created a github repository[1]. I have added, as contributors (ie, having write access) some of you whose github handle I knew, namely: Robin, Sarven, Silvio, Johannes, Nick, and Tzviya. If you want to be added, please send me or Robin your github handle.

The setup of the repository is such that the default branch is 'gh-pages', and the 'master' branch has been removed. This means that the HTML files in the repository can be served as HTML (and therefore rendered properly by the browser) using (there is a placeholder index.html file there). I have also created a gitter 'room' associated to the repo, and have invited some of you. (But I am not sure how this works; aren't contributors automatically invited to the gitter room? I have never really used gitter, so any help is welcome there.)

As a minor extra, I have also put a file[3] listing the prior arts as discussed earlier in the thread.

Cheers

Ivan

[1] https://github.com/w3c/scholarly-html <https://github.com/w3c/scholarly-html>
[2] https://w3c.github.io/scholarly-html/ <https://w3c.github.io/scholarly-html/>
[3] https://github.com/w3c/scholarly-html/blob/gh-pages/prior-art.md

----
Ivan Herman, W3C
Digital Publishing Lead
Home: http://www.w3.org/People/Ivan/
mobile: +31-641044153
ORCID ID: http://orcid.org/0000-0003-0782-2704