Re: Gitlab Migration

[Po Lu]

Dmitry Gutov <dgutov@yandex.ru> writes:

> Yes, you're both talking about git hooks. A minor disadvantage is that
> a hook needs to be installed, and then a bug in a hook implementation
> can stop you from being able to make a commit (there are overrides,
> but those require more googling).

It is certainly a very minor disadvantage, as it's always been accurate
for me.

> CI is good because if its visibility: the list of checks on current
> PRs is visible to every newcomer, instead of being buried somewhere
> near the end of the CONTRIBUTE document.

But shouldn't contributors be expected to read CONTRIBUTE anyhow?  If
someone does not read the CONTRIBUTE file, he will not know to add
entries to NEWS, to write correctly formatted commit messages, and so
on.  A list of checks done on formatting does not seem as important as
some of the other topics covered "somewhere near the end of the
CONTRIBUTE document."