bash script name is different, fixing here#401

tobiascadee merged 1 commit intomainVOKO-Utrecht/voko:mainfrom

tobias/fix-bug-in-deploy-scriptVOKO-Utrecht/voko:tobias/fix-bug-in-deploy-scriptCopy head branch name to clipboard