From: Jeremy Morton <jeremy@configit.com>
Date: Thu, 08 Mar 2012 11:34:51 GMT
Subject: Re: git push default behaviour?
Message-ID: <CAFsnPqqJt13gDp2RNiEU4dt59iMwFvMzysfk51mO8aF+_nYGXA@mail.gmail.com>
In-Reply-To: <m3sjhjs4z5.fsf@localhost.localdomain>

On Thu, Mar 8, 2012 at 11:33 AM, Jakub Narebski <jnareb@gmail.com> wrote:
> You can always configure server to refuse forced pushes.

We're using github, and as far as I'm aware, there's no way to
configure github to do that.

Best regards,
Jeremy Morton (Jez)