The bot uses gh edit to manipulate the labels (see the code here <https://github.com/sagemath/sage/blob/30b3d78fac8d4a015ad2641cad44c3d530f4c10c/.github/sync_labels.py#L745>). AFAIR I also tried with gh api leading to the same behavior in the web interface. In principle these commands work, but the result is not visible until you add or edit a comment or refresh the web-page.
*> (by the way, your bug reports are not visible - probably only visible to you.* Thanks for the hint. I've uploaded screen-shots in the header of a corresponding PR 36292 <https://github.com/sagemath/sage/pull/36292#issue-1900238183>. Here some citations of the respond: December 4th: *The good news is, our team is already working on a suite of improvements to the issues and pull requests experience and this will be resolved as result of those changes.Unfortunately I can't share too much about the details as it's still being tested internally, but you can keep an eye on our changelog for any updates.Thanks for your feedback and I hope this quirk doesn't bother your team too much in the meantime.* February 8th (from the second report where I asked for a status report): *Thanks for following up. Our engineering team are working on a complete overhaul of the issues experience - I've confirmed that this bug is already resolved in the new version.I can understand it's frustrating seeing this bug persist, but given its upcoming replacement, bug fixes for the current issues experience are limited to critical issues that have a significant impact. The overhaul is in progress and unfortunately hasn't been publicly announced which limits how much detail I can share. I'd suggest keeping an eye on our roadmap and changelog for updates.I'm sorry for any inconvenience, and please let me know if you have any questions.* Dima Pasechnik schrieb am Dienstag, 20. Februar 2024 um 00:21:32 UTC+1: > On Mon, Feb 19, 2024 at 9:20 PM seb....@gmail.com <seb....@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+...@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/8b2ccb88-98d3-4e4b-8c0e-97a139466e31n%40googlegroups.com.
