[sage-devel] Unload "blocker" label

2024-02-25 Thread Kwankyu Lee
Hi "blocker" label is overloaded too much. It is used for usage 1: PRs that should be merged to the next release usage 2: PRs that are merged temporarily before CI tests run usage 3: Issues that should be fixed as fast as possible I suggest the following: Use "blocker" label only for PRs and

[sage-devel] Unload "blocker" label

2024-02-25 Thread Kwankyu Lee
Hi "blocker" label is overloaded too much. It is used for usage 1: PRs that should be merged to the next release usage 2: PRs that should be merged temporarily before CI tests run usage 3: Issues that should be fixed as fast as possible I suggest the following: Use "blocker" label only for PRs

[sage-devel] Unload "blocker" label

2024-02-25 Thread Kwankyu Lee
Hi "blocker" label is overloaded too much. It is used for usage 1: PRs that should be merged to the next PR usage 2: PRs that should be merged temporarily before CI tests run usage 3: Issues that should be fixed as fast as possible I suggest the following: Use "blocker" label only for PRs and