Do not deploy with pull requests

Now every build wants to deploy to gh-pages, even pull-requests. PRs will of course fail, but this adds one minute extra time for the Luna build which is totally unnecessary. From now on, PR builds do not even try to deploy.