On Tuesday, April 9, 2024 at 6:39:00 PM UTC-7 Kwankyu Lee wrote: How about redefining the meaning of "CI Fix" label:
1. We designate a person to be the CI manager. 2. For PRs pertaining to the designated directories and files, we add "CI Fix" label 3. The CI manager has the right to merge PRs with "CI Fix" label to develop. 4. The old meaning of "CI Fix" label as "immediate fixes" is dropped. 5. Hot fix PRs for breakage of CI also gets "CI Fix" label. Note that "CI Fix" is intended in particular for fixes to the Sage library that make the Lint workflow pass. Such fixes are still needed and should go through normal review. -- 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/8537452a-1c7a-499f-8107-169855d026e7n%40googlegroups.com.
