#4914 Delete tags in cachedir
Closed: Fixed None Opened 8 years ago by mathstuf.

I goofed and copied/pasted the wrong url into a .git/config for a git repository. Could the following tags be deleted from the cachedir dist-git repository:

EL-4-split
EL-4-start
EL-5-split
EL-5-start
F-7-split
F-7-start
F-8-split
F-8-start
F-9-split
F-9-start
F-10-split
F-10-start
F-11-split
F-11-start
F-12-split
F-12-start
F-13-split
F-13-start
FC-6-split
FC-6-start
re2c-0_12_1-2_fc8
re2c-0_12_2-1_fc8
re2c-0_12_3-1_fc8
re2c-0_12_3-2_fc9
re2c-0_12_3-3_fc11
re2c-0_12_3-4_fc12
re2c-0_13_5-1_fc14

Thanks.


Login to comment on this ticket.

Metadata