Potential bug in git client

2014-06-11 Thread Wojciech Przybył
Hi All When I was tagging, I think I might have discovered a git client bug. HOW TO REPRODUCE: - Clone a repo into 2 separate directories. Presume there is a tag "v0.1" already in there and it is set on say 10 commits ago. - In first directory change the tag to a different place and push it to t

Re: Potential bug in git client

2014-06-11 Thread Wojciech Przybył
actually up to date". Cheers Wojciech On 11 June 2014 11:55, Stefan Beller wrote: > On 11.06.2014 12:21, Wojciech Przybył wrote: >> Hi All >> >> When I was tagging, I think I might have discovered a git client bug. >> >> HOW TO REPRODUCE: >> - Clone a repo

Re: Potential bug in git client

2014-06-17 Thread Wojciech Przybył
ade. Many thanks for your reply. Cheers Wojciech On 17 June 2014 10:17, Michael Haggerty wrote: > On 06/11/2014 12:21 PM, Wojciech Przybył wrote: >> When I was tagging, I think I might have discovered a git client bug. >> [...] >> HOW TO REPRODUCE: >> - Clone a repo