Yes, the problem seems to be that github does not actually execute hooks, but allows webhooks. The hooks seems to be async, and thus pre-receive isn't supported.
Alexander On Tue, Apr 8, 2014 at 8:37 AM, Vladimír Čunát <vcu...@gmail.com> wrote: > On 04/08/2014 08:27 AM, Alexander Kjeldaas wrote: > >> It is possible to add a post receive hook that sends out a big fat >> warning. >> > > Hmm, it seems better to abort if possible (and print the warning), because > after it's done, the non-ff pusher typically doesn't even know/have the > commits that were there before, so I see no easy way to undo it instantly. > > Vlada > > > > _______________________________________________ > nix-dev mailing list > nix-dev@lists.science.uu.nl > http://lists.science.uu.nl/mailman/listinfo/nix-dev > >
_______________________________________________ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev