desktop / desktop/desktop

Issues with deleting tags on repositories

Open
#15,858 6 comments 1 reaction 0 assignees View on GitHub
bug priority-3
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

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.