Use correct time in log message for Github deploy
Merge pull request #1563 from tsmacdonald/master

Use correct time in log message for Github deploy
Update gist tag url to githubusercontent.com
fix script_url_for url bug
Merge pull request #1567 from howiehu/fix-gist-url-bug

Update gist tag url to githubusercontent.com
jesschange
first version
new pub template, games update
pub fixes
grim mouse 0.5
updated bibtex etc. for new paper