Only deploy on production on a regular build to master

This commit makes sure that builds for PRs on master are not yet
deployed. First these builds can be used to test the PR, for the actual
deployment the merge of the PR must have take place before.