#!/bin/sh

git tag -d dev
git push origin develop
git tag dev
git push origin dev --force