Or instead you have a whitelist for those that want it. I think at least one of these changes (whitelist or blacklist) should just be done in the same general way that these labels were introduced: no vote and just do it. This really should have had a vote, or at least a notification on sage-devel, *before* it was merged, so doing such a change would bring us back to where we should have been in the first place.
Best, Travis On Friday, June 7, 2024 at 4:16:26 PM UTC+9 seb....@gmail.com wrote: > > *> How about having a voting for this issue? * > > Another possibility would be to have a blacklist (but I don't know where) > that developers can sign up to if they want to be excluded from automations > that apply to PRs. In this thread's example, a developer would exclude PRs > that he himself authors or reviews from having the `v: ...` labels > automatically set. > > Kwankyu Lee schrieb am Dienstag, 28. Mai 2024 um 12:30:46 UTC+2: > > I *very* strongly believe we should disable this automatically being added > to PRs. > > > How about having a voting for this issue? > > > -- 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/f47b852d-768f-4910-92f1-f90fb3c9770cn%40googlegroups.com.