Improve pull

For a github 503 error, see [here](http://d.puremagic.com/test-results/pull.ghtml?projectid=1&runid=683012).