Fix deployment issue when jenkins uses 'origin/dev' instead of 'dev'