Re: git hook error

[Ricardo Wurmus]

Leo Famulari <leo@famulari.name> writes:

> On Tue, Dec 28, 2021 at 10:09:06PM +0100, Ricardo Wurmus wrote:
>> So… uhm, what do you all think about hosting our Git repos by ourselves?
>> Ideally *not* on the servers of the build farm, but on other hardware?
>
> I would ask, why would we want to do that?

The motivation for that is not found in just one big problem.  It’s a
small trickle of minor annoyances:

- Savannah’s uptime isn’t quite as high as we’d like
- we can’t have server-side checks to prevent pushing bad commits
- we can’t have server-side hooks to better integrate with the build farm
- we can’t have per-branch rules (e.g. to allow contributors to push to
  some but not all branches)

-- 
Ricardo