Re: Strange diff-index output

On Tue, Nov 03, 2015 at 02:00:33PM +1300, Ch'Gans wrote: > I first tried "git update-index" but it didn't work. However "git > update-index --refresh" seems to fix our problem. > I didn't get why "--refresh" is needed thought, I'm really not > familiar with the caching aspect of git. It is becaus

Re: Strange diff-index output

On 3 November 2015 at 13:27, David Turner wrote: > On Tue, 2015-11-03 at 12:59 +1300, Ch'Gans wrote: >> Hi there, >> >> We're using a script to verify that what we are building is clean >> against our git repository, for this we're using "git rev-parse >> --short HEAD" to get the current hash and

Re: Strange diff-index output

On Tue, 2015-11-03 at 12:59 +1300, Ch'Gans wrote: > Hi there, > > We're using a script to verify that what we are building is clean > against our git repository, for this we're using "git rev-parse > --short HEAD" to get the current hash and "git diff-index --quiet > HEAD" to check for local modif

Strange diff-index output

Hi there, We're using a script to verify that what we are building is clean against our git repository, for this we're using "git rev-parse --short HEAD" to get the current hash and "git diff-index --quiet HEAD" to check for local modification. This script works fine on developer's machines, but d