Thank you for consideration. A6 manipulating PR labels out of the intended usage
We have a policy for how to handle the "disputed" label: I'm going from memory, but I think that a disputed label can only be removed (a) by the person who initially applied the label, (b) a vote on the ticket with the necessary outcome, or (c) a discussion and vote on sage-devel. If people are not following the policy, then please bring it to the attention of the Code of Conduct Committee. Do you have other questions or concerns about labels? The last case I observed is a disputed label added by someone and disapproved by the author. The rule a. When there is disagreement about whether a PR should be merged, anyone may mark a PR as disputed. implies that "disputed" label is only for a PR that has positive review from a reviewer but another still objects it. I think adding "disputed" label prematurely is not appropriate. Then who can remove the "disputed" label in this case? -- 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/f19a9750-5185-4c39-91a4-868a077d9995n%40googlegroups.com.
