Hi It seems that synchronization script adds "needs review" label whenever a new commit is uploaded to (non-draft) PR.
If a merge (with develop branch) commit is uploaded to a PR that has already got "positive review" label, then the "positive review" label is replaced with "needs review" label. This is annoying. How about adding "needs review" label only when draft PR is converted to a non-draft PR? -- 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/5fe33178-b494-4217-82df-f77ba57a35d3n%40googlegroups.com.
