add git pull in deploy
Merge branch 'master' into gh-pages
'deploy'