In this example, the synchronizer has been removing the "needs info" label from the PR on pushes.
Perhaps we should just phase out the use of the "needs info" label for PRs. Personally, I do not recall much success in soliciting info from others using the "needs info" label. It may just be too ambiguous: Who's requesting info from whom? Perhaps we should be defining this label it more narrowly: For flagging bug reports that do not have enough information for repro. In this case, there is a clear action that can be taken when no info comes in after a while: Closing the bug report as not actionable. On Wednesday, August 28, 2024 at 11:58:37 PM UTC-7 Kwankyu Lee wrote: > Another instance of annoyance: https://github.com/sagemath/sage/pull/38564 > > I am fighting with the dumb synchronizer. > -- 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/2033ffd4-eab9-40c8-8751-508b8a3de7edn%40googlegroups.com.
