Just a suggestion, the repo size has gotten quite large (over 80MB), almost all of it in the gh-pages branch. I personally don't think it is necessary to keep the history, since this information can be rebuilt at any time, and it just ends up making cloning the repo slow.
Sounds like a good idea to me! Hopefully travis will clobber the old gh-pages branch so we shouldn't need to do anything else to clean up the repo size.
Just a suggestion, the repo size has gotten quite large (over 80MB), almost all of it in the gh-pages branch. I personally don't think it is necessary to keep the history, since this information can be rebuilt at any time, and it just ends up making cloning the repo slow.