Contributors mailing list archives


Re: Should we use the new GitHub reactions?

Holger Brunn
- 17/03/2016 15:23:00
> What Holger meant by github reaction is this new feature:
> To answer Holger's question I think we can use them and commiter can
> take them into account. It could help to find quickly which PR is
> ready.
> We could give it a try.

What I mean is that currently, I look at
to see what I'm supposed to review and choose whatever looks interesting
or important.
According to, there's
no way to slip in also filtering for reaction count. If this is
possible, I'd be all for switching to reactions, then we could have one
bookmark 'can be merged' (same as above, but reaction count >= 3) and
'needs more reviews' (same as above, but reaction count