rmp 0.3.1

#!/bin/bash

rev=$(git rev-parse --short HEAD)

git add -A .
git commit -m "[GHP] Rebuild docs at ${rev}."
git push -q upstream HEAD:gh-pages