On Mon, Feb 19, 2024 at 9:20 PM seb....@gmail.com <seb.oe...@gmail.com> wrote:
> > *Is it time for the next step with syncing status labels > (https://github.com/sagemath/sage/issues/35927 > <https://github.com/sagemath/sage/issues/35927>)? * > > The reason this is blocked is because there is a bug in the GitHub web > interface that might cause confusion when labels are added or removed by > the bot. More precisely, the panel with labels is not updated immediately > after such an action. I have opened two bug reports (2448092 > <https://support.github.com/ticket/personal/0/2448092>, 2573072 > <https://support.github.com/ticket/personal/0/2573072>). Both were closed > without a satisfactory answer, only informing that it is a known bug that > will be fixed one day. > As far as I know you have an API to manipulate github labels, e.g. it's supported by gh. Is this what's used by the bot? (by the way, your bug reports are not visible - probably only visible to you. > > Matthias Koeppe schrieb am Freitag, 16. Februar 2024 um 19:00:52 UTC+1: > >> On Thursday, February 8, 2024 at 10:16:58 AM UTC-8 Matthias Koeppe wrote: >> >> On Wednesday, February 7, 2024 at 1:11:14 PM UTC-8 Matthias Koeppe wrote: >> >> Let's also use this anniversary as an opportunity to discuss what still >> needs improving in our development workflows. >> >> *1. We have a low development velocity.* For example, some simple PRs >> sit for weeks or months before receiving any review comments. What can we >> do to improve this? >> >> *2. Is our community aware of the sagemath/sage GitHub wiki?* >> https://github.com/sagemath/sage/wiki >> - Are the contents of the wiki front page useful? >> - Are the links to Issue and Pull Request queries helpful? >> >> >> *3. Are the labels on GitHub Issues / PRs helpful?* >> - Note that new contributors who are not in the Triage team cannot >> set/change labels! >> - This includes component labels, but also status labels such as "needs >> review". >> - Is it time for the next step with syncing status labels ( >> https://github.com/sagemath/sage/issues/35927)? >> - Wishlist item: Component auto-labeler for GitHub PRs ( >> https://github.com/sagemath/sage/issues/37373) >> - Wishlist item: PR size labeler ( >> https://github.com/sagemath/sage/pull/37262) >> >> >> -- > 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/6745500d-2077-42b7-9406-d38c3e280407n%40googlegroups.com > <https://groups.google.com/d/msgid/sage-devel/6745500d-2077-42b7-9406-d38c3e280407n%40googlegroups.com?utm_medium=email&utm_source=footer> > . > -- 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/CAAWYfq1_T%2BxGhd4k7DiGx1ByiSCqOorCAuQ_u4LrJ%3DNkczjauw%40mail.gmail.com.
