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]