Revamp interface bindings

.gitignore

@@ -1 +1,4 @@
+/out/
 index.ids
+deploy_key
+index.html

.pr-preview.json

@@ -0,0 +1,4 @@
+{
+    "src_file": "index.bs",
+    "type": "bikeshed"
+}

.travis.yml

@@ -0,0 +1,12 @@
+language: generic
+
+script:
+  - bash ./deploy.sh
+env:
+  global:
+    - ENCRYPTION_LABEL: "de8b5a0f10ef"
+    - COMMIT_AUTHOR_EMAIL: "[email protected]"
+notifications:
+  email:
+    on_success: never
+    on_failure: always

README.md

@@ -6,6 +6,7 @@ This is the primary repository in which the Web IDL specification is developed.
 * [Latest Editor’s Draft](http://heycam.github.io/webidl/)
 
 ## Contributing
+
 In our issues, we use the following labels: 
 
  * ☕ — not too hard

deploy.sh

@@ -0,0 +1,64 @@
+#!/bin/bash
+set -e # Exit with nonzero exit code if anything fails
+
+SOURCE_BRANCH="master"
+TARGET_BRANCH="gh-pages"
+
+function doCompile {
+  curl https://api.csswg.org/bikeshed/ -F [email protected] > out/index.html
+}
+
+# Pull requests and commits to other branches shouldn't try to deploy, just build to verify
+if [[ "$TRAVIS_PULL_REQUEST" != "false" || "$TRAVIS_BRANCH" != "$SOURCE_BRANCH" ]]; then
+  echo "Skipping deploy; just doing a build."
+  mkdir out
+  doCompile
+  exit 0
+fi
+
+# Save some useful information
+REPO=`git config remote.origin.url`
+SSH_REPO=${REPO/https:\/\/github.com\//[email protected]:}
+SHA=`git rev-parse --verify HEAD`
+
+# Get the deploy key by using Travis's stored variables to decrypt deploy_key.enc
+ENCRYPTED_KEY_VAR="encrypted_${ENCRYPTION_LABEL}_key"
+ENCRYPTED_IV_VAR="encrypted_${ENCRYPTION_LABEL}_iv"
+ENCRYPTED_KEY=${!ENCRYPTED_KEY_VAR}
+ENCRYPTED_IV=${!ENCRYPTED_IV_VAR}
+openssl aes-256-cbc -K $ENCRYPTED_KEY -iv $ENCRYPTED_IV -in deploy_key.enc -out deploy_key -d
+chmod 600 deploy_key
+eval `ssh-agent -s`
+ssh-add deploy_key
+
+# Clone the existing gh-pages for this repo into out/
+# Create a new empty branch if gh-pages doesn't exist yet (should only happen on first deply)
+git clone $REPO out
+cd out
+git checkout $TARGET_BRANCH || git checkout --orphan $TARGET_BRANCH
+
+# Clean out existing contents
+git reset --hard
+
+# Run our compile script
+cd ..
+doCompile
+
+# Now let's go have some fun with the cloned repo
+cd out
+git config user.name "Travis CI"
+git config user.email "$COMMIT_AUTHOR_EMAIL"
+
+# If there are no changes to the compiled out (e.g. this is a README update) then just bail.
+if [[ -z "$(git status --porcelain)" ]]; then
+  echo "No changes to the output on this push; exiting."
+  exit 0
+fi
+
+# Commit the "changes", i.e. the new version.
+# The delta will show diffs between new and old versions.
+git add --all .
+git commit -m "Deploy to GitHub Pages: ${SHA}"
+
+# Now that we're all set up, we can push.
+git push $SSH_REPO $TARGET_BRANCH