If you want to change the remote repositorie of a project
git init
git remote add origin [url_repository]
git fetch
git reset --hard origin/devel
git checkout devel- Local tag:
git tag [tag_name]- Remote tag:
git push --tags- Local tag:
git tag -d [tag_name]- Remote tag:
git push --delete origin [tag_name]