Do not push to production from development ;)

Former-commit-id: 219e8059a3134c7880aca1b15f99a337802dad5c [formerly 5db4b8502ff0c3179df322d3493575eed4b92c3b]
Former-commit-id: 8071303e2dbeb643b7dfa4d7d548096d5a9d90c2

deploy_prod.sh

-docker build -t gitlab.rrz.uni-hamburg.de:4567/cosy-bio/drugst.one/backend:prod -f ./Dockerfile .
-docker push gitlab.rrz.uni-hamburg.de:4567/cosy-bio/drugst.one/backend:prod
+#!/bin/bash
+
\ No newline at end of file
+branch=$(git rev-parse --abbrev-ref HEAD)
+if [ "$branch" == "production" ]; then
+	docker build -t gitlab.rrz.uni-hamburg.de:4567/cosy-bio/drugst.one/backend:prod -f ./Dockerfile .
+	docker push gitlab.rrz.uni-hamburg.de:4567/cosy-bio/drugst.one/backend:prod
+else 
+	echo "DENIED: Your are not in the production branch. Do not push to production from the ${branch} branch."
+fi