Am 21.01.2016 um 09:17 schrieb stefan.naewe@xxxxxxxxxxxxxxxxxxxx: > I'm having trouble to get rid of a deleted tag. > Here's what I did: > > - push master branch from a non-bare repo (R1) into a bare repo (B1) > - push a tag (tag-a) from R1 into the same B1 > - force-push master from another non-bare repo (R2) into B1 > - do 'git push B1 :tag-a' from R2 to delete the tag > Now, in B1, 'git fsck' shows a dangling tag that can be identified > as 'tag-a' from above. There's obviously no reflog in B1. > I don't know how to get rid of that tag. Just do 'git gc --prune=all' or 'git prune', stupid! > A cleaned-up 'script' session of the above is attached. > > The problem initially occurred on Windows with git 2.7.0 but could > be reproduced on a Linux machine with git 2.7.0. > > What's going on here ? I guess one never stops learning when using git... Stefan -- ---------------------------------------------------------------- /dev/random says: Socialism is the equal distribution of poverty. python -c "print '73746566616e2e6e616577654061746c61732d656c656b74726f6e696b2e636f6d'.decode('hex')" GPG Key fingerprint = 2DF5 E01B 09C3 7501 BCA9 9666 829B 49C5 9221 27AF ��.n��������+%������w��{.n��������n�r������&��z�ޗ�zf���h���~����������_��+v���)ߣ�