Pierre-Yves Bigourdan

> I do think `1,144` is preferable to `1144` though. I think we need to be careful about introducing separators for large numbers, the above feels like a British/American-centric view...

Hello @fmigneault 👋🏻 Thanks for reporting the issue! I think this is the same that I observed in #10241. We essentially need to get started on #9563. Any help would...

> I have noticed this recent https://github.com/badges/shields/pull/10241 PR, and started getting failures around the same time. > Is it directly caused by its changes (known cause why parsing fails)? I...

Hello @oliviertassinari 👋🏻 Our GitHub branch status badge directly forwards the status returned by the GitHub API (see [code](https://github.com/badges/shields/blob/0360ba3a1b193b25a03454e36b823aa20155d7fc/services/github/github-checks-status.service.js#L73-L79)) . I believe that this is the same status as the...

> Can you test and create before and after screenshot with new Eclipse? You'll need to pull and rebase my proposed change to do so: https://git.eclipse.org/r/c/platform/eclipse.platform.ui/+/170913

Thanks for the contribution! The project would need new maintainers to keep it going (#45) :) Cc @BigTallahasee

Hey there 👋🏻 Yes, it's a known issue: https://github.com/bbc/codext?tab=readme-ov-file#known-issues

Hey @qmerkel10305 👋🏻 I think it would be possible to do so by dropping the [CSS property](https://github.com/PyvesB/eclipse-planet-themes/blob/f0c6f52761cd4400083f868ce2428a6afec5c02a/planet-themes-plugin/css/planets.css#L44), and instead write some Java code to implement a new preference that programmatically...

I like the vertical vs. horizontal framing, and the idea of a "don't change the meaning of the value" rule. > I'd also posit that we aren't changing the meaning/size...

> Allow changing the format with a url param (the user can change it if they want) Are we really helping any form of consistency by adding this possibility? I...