Revert "Testing automatic push to gh-pages"

This reverts commit b840527db5a8082f2efdcd19627d0481bdf0d274.