Actually, deleting a tag will increase the space used, slightly =P
The repository never forgets anything. If you delete something, it additionally has to remember that it was deleted in a particular revision.
Plus, keeping them around protects you from (accidentally) naming a new tag with the same name, and not getting it packaged. Also, its a nice history for the project =)
The repository never forgets anything. If you delete something, it additionally has to remember that it was deleted in a particular revision.
Plus, keeping them around protects you from (accidentally) naming a new tag with the same name, and not getting it packaged. Also, its a nice history for the project =)