lab2Repo

local branches

git branch -d <branch_name>

remote branches

git push origin --delete <branch_name>

● how to list tags in local

git tag

● tell me how to delete tag locally and remotely.

locally

git tag -d v1.0

remote

git push origin --delete v1.0