On Friday, August 23, 2024 at 6:09:36 PM UTC+9 dim...@gmail.com wrote:
This doesn't work well with blocked GitHub users allowed for some reason in our project - one cannot directly comment on, or review, PRs whose authors block other users. Such users can still change labels, to indicate disagreement. As we are discussing related issues, let us be clear about your case. I am asking the CoC committee: 1. Should Matthias stop blocking Dima from his PRs? 2. If Dima is kept in the blocked state, does he have rights to participate in the reviewing process of the PRs? Sorry for more questions, but answers to these questions are necessary for proper handling of https://github.com/sagemath/sage/pull/38219. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/b4810ad3-7636-47e0-bf92-4869a71d6403n%40googlegroups.com.
