Issues with deleting tags on repositories
- Dominant language
- TypeScript
- Stars
- 21.8k
- Forks
- 10.5k
- Avg merge
- 1d 15h
- Merged PRs (30d)
- 25
Description
### The problem
a) Cannot delete an already pushed tag (GitHub on web allows you to)
b) Manually deleting the tag using commands does not properly update the existing tags. Trying to create another tag with the same name as the (now) deleted tag is prevented saying that the tag exists.
### Release version
3.1.2
### Operating system
Windows 10
### Steps to reproduce the behavior
For both issues:
1. Create a tag on a commit in a repo
2. Push the changes to the origin, including the created tag
For issue a, you cannot delete the already pushed tag.
For issue b, follow those steps after the previous ones:
3. Delete the tag on the remote repo, refetch local changes
4. Delete the tag on the local repo, ensure that the tag no longer exists in the origin repo
5. Select another commit, causing the information about the previous commit with the tag to update
6. Attempt to create another tag on any commit, naming it the samea s the previously deleted tag.
The user will then be told that the tag exists, when it has been just deleted.
### Log files
_No response_
### Screenshots
_No response_
### Additional context
_No response_
Contributor guide
Assessment
This issue has not been assessed yet.