commit e696c4d51a9ed4aa3faff5de85e17e7a705f5343
Author: Georges Dupéron <georges.duperon@gmail.com>
Date:   Wed Mar 22 00:05:58 2017 +0100

    Auto-push branch.

diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..33ed4b8
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1,7 @@
+*~
+\#*
+.\#*
+.DS_Store
+compiled/
+/doc/
+/.~*.vue
\ No newline at end of file
diff --git a/.travis.yml b/.travis.yml
new file mode 100644
index 0000000..6a59541
--- /dev/null
+++ b/.travis.yml
@@ -0,0 +1,10 @@
+language: c
+
+sudo: false
+
+before_install:
+
+install:
+
+script:
+ - sh ./auto-push-master.sh
diff --git a/auto-push-master.sh b/auto-push-master.sh
new file mode 100644
index 0000000..87ffb5f
--- /dev/null
+++ b/auto-push-master.sh
@@ -0,0 +1,46 @@
+#!/bin/sh
+set -e
+set +x
+if test "$(git config remote.origin.url)" != "https://github.com/jsmaniac/phc-graph.git"; then
+  echo "Not on official repo, will not auto-push to master."
+elif test "$TRAVIS_PULL_REQUEST" != "false"; then
+  echo "This is a Pull Request, will not auto-push to master."
+elif test "$TRAVIS_BRANCH" != "auto-push"; then
+  echo "Not on auto-push branch (TRAVIS_BRANCH = $TRAVIS_BRANCH), will not auto-push to master."
+elif test -z "${encrypted_c195df270029_key:-}" -o -z "${encrypted_c195df270029_iv:-}"; then
+  echo "Travis CI secure environment variables are unavailable, will not auto-push to master."
+else
+  set -x
+  echo "Automatic push to master"
+
+  ## Git configuration:
+  #git config --global user.name "$(git log --format="%aN" HEAD -1) (Travis CI automatic commit)"
+  #git config --global user.email "$(git log --format="%aE" HEAD -1)"
+
+  # SSH configuration
+  mkdir -p ~/.ssh
+  chmod 700 ~/.ssh
+  set +x
+  if openssl aes-256-cbc -K $encrypted_c195df270029_key -iv $encrypted_c195df270029_iv -in travis-deploy-key-id_rsa.enc -out travis-deploy-key-id_rsa -d >/dev/null 2>&1; then
+    echo "Decrypted key successfully."
+  else
+    echo "Error while decrypting key."
+  fi
+  set -x
+  chmod 600 ~/.ssh/travis-deploy-key-id_rsa
+  set +x
+  eval `ssh-agent -s`
+  set -x
+  ssh-add ~/.ssh/travis-deploy-key-id_rsa
+
+  # Fetch commit
+  repo_url="$(git config remote.origin.url)"
+  commit_hash="$(cat commit_hash)"
+  ssh_repo_url="$(echo "$repo_url" | sed -e 's|^https://github.com/|git@github.com:|')"
+  git clone "$repo_url" auto-git/
+  cd auto-git/
+  echo "[$commit_hash]"
+  git checkout -qf "$commit_hash"
+  git log --oneline --decorate --graph -10 "$commit_hash"
+  git push --quiet "$ssh_repo_url" "$commit_hash:master" || true # Do not make a tantrum in case of race conditions
+fi
diff --git a/travis-deploy-key-id_rsa.enc b/travis-deploy-key-id_rsa.enc
new file mode 100644
index 0000000..98c8e15
Binary files /dev/null and b/travis-deploy-key-id_rsa.enc differ