[git-users] Re: git log "double dot" showing a false positive?

Thanks - can you check my post above "I did some long-shot exploring as well" -- is that what you mean? I'm not sure On Wednesday, August 9, 2017 at 6:44:55 PM UTC-4, Igor Djordjevic wrote: > > Unfortunately, the graphs are too long and complicated for some more > serious eyeballing, but

Re: [git-users] Adding a pull request (newer master) to my build

On 2017-08-09, at 12:28 PM, Philip Oakley wrote: > Hi Michael, > > [don't abuse the fact that 'head' on windows will find the HEAD pseudoref > file, as there are a few cases where it fails - there's been mention recently > on the Git List in the last week or so] > >