Re: git push default behaviour?
- From
Jakub Narebski <jnareb@gmail.com>
- Date
- Mar 13, 2012, 15:27 UTC
- Message-ID
- <201203131627.30455.jnareb@gmail.com>
- In-Reply-To
- <CAFsnPqqJt13gDp2RNiEU4dt59iMwFvMzysfk51mO8aF+_nYGXA@mail.gmail.com>
On Thu, 8 Mar 2012, Jeremy Morton wrote:
> 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.
It would be nice if GitHub supported setting receive.denyNonFastForward and receive.denyDeletes (the receive.*current* do not matter for GitHub). Though I am not sure if it would not require changes to the custom Git implementation they use...
-- Jakub Narebski Poland