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.
done
Login to comment on this ticket.