Fix deployment - wrong docker image name

Created by: Tirokk

Authored by roschaefer Jun 5, 2019 Merged Jun 5, 2019

---

🍰 Pullrequest

I made two mistakes:

1. Forgot to set permissions on dockerhub (done earlier)
2. Fix the name of the docker image in the deployment script

Issues

• None

Todo

• None