tools/create

Possible solution for the first FIXME

Tries to get the HEAD of the workshop page URL, if it succeeds (i.e. it already exists), retuns an error and exits
Check that repository was successfully cloned

Close #25
quoting INSTRUCTORS solves problem of collaborators being added and
Bringing local copy up to date.

Merge remote-tracking branch 'upstream/gh-pages' into gh-pages
Merge pull request #16 from tpoisot/patch-1

tools/create
Merge pull request #30 from r-gaia-cs/verify-clone

Check that repository was successfully cloned
Fix build problems for ubuntu 14.04
Polish text
Merge pull request #34 from drlabratory/gh-pages

Quote INSTRUCTORS in tools/create
Merging in changes from gh-pages