*> 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/de718888-a24f-4aba-b879-19de54e01e81n%40googlegroups.com.
