On 8/6/24 20:42, Kwankyu Lee wrote:
On Tuesday, August 6, 2024 at 3:30:29 PM UTC+9 seb....@gmail.com wrote:This would replace something annoying for senior developers by something annoying for new contributors. I'm not sure if this is a good idea. Naturally, the volume of annoyance is much larger for senior developers. Did you have to manually resolve merge conflicts in your example? If not, just don't push it back to the repository in such a situation in the future. If so, I agree with Tobias that *needs review* is a correct status.Not for my example, but I observed in others that trivial merge conflicts resolution put the PR back to "needs review" status.
Force-pushing will too. -- 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/2f0646a3-e057-4bd5-b5cc-de39b1f7612a%40gmail.com.
