We urgently need to recover some degree of sanity in how the contributions are merged.
The proposal is to halt the current trend of political PR reviews, namely only merge PRs where there is a consensus. This is getting particularly urgent in view of few still disputed PRs being merged, and pushback against these merges being reverted. Please discuss, I'll call a vote in, say, 24 hours. Dima -- 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/BB0BC992-C775-4AC4-BCA3-279E6C82641C%40gmail.com.
