gump-general mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Stefan Bodewig <>
Subject Re: Gump is building stale Checkstyle sources (and other GitHub projects)
Date Wed, 20 Apr 2016 15:19:26 GMT
On 2016-04-20, Rainer Jung wrote:

> What was the reason for the hard reset and could we remove it until a
> better solution is found?

I think the reason has been git not picking up the effect of changes to
.gitattributes - I'm not convinced the reset helps without removing the
index first anyway.

Removing the reset is trivial :-)


To unsubscribe, e-mail:
For additional commands, e-mail:

View raw message