Seems you're happy with my jenkins :-) 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.
On 17/08/15 15:02, Jason A. Donenfeld wrote:
Forgot a ! _______________________________________________ CGit mailing list CGit@lists.zx2c4.com http://lists.zx2c4.com/mailman/listinfo/cgit
-- Ferry Huberts _______________________________________________ CGit mailing list CGit@lists.zx2c4.com http://lists.zx2c4.com/mailman/listinfo/cgit