On Mon, Aug 17, 2015 at 3:05 PM, Ferry Huberts <mailings at hupie.com> wrote: > Seems you're happy with my jenkins :-) Man --- it's awesome, super cool. > push -f is rather evil, as you know. > There is no need to hide mistakes, and therefore no need to push -f > Everybody makes mistakes. Yea, I know. My fingers were just on speedy gonzalas mode.