dearwolf/aider
1
0
Fork 0
mirror of https://github.com/Aider-AI/aider.git synced 2025-05-20 12:24:59 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

fix: round GitHub stars to whole numbers in HTML output

Browse source
This commit is contained in:
Paul Gauthier (aider) 2025-03-20 14:28:58 -07:00
parent 0937b34983
commit 57ce2c48b8
1 changed files with 11 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

12
scripts/badges.py
View file

@ -205,7 +205,17 @@ def get_badges_html():
# Format values
downloads_formatted = format_number(total_downloads)
stars_formatted = format_number(stars) if stars is not None else "0"
# Stars should be rounded to whole numbers
if stars is None:
stars_formatted = "0"
elif stars >= 1_000_000_000:
stars_formatted = f"{stars // 1_000_000_000}B"
elif stars >= 1_000_000:
stars_formatted = f"{stars // 1_000_000}M"
elif stars >= 1_000:
stars_formatted = f"{stars // 1_000}K"
else:
stars_formatted = str(stars)
aider_percent_rounded = round(percentage)
# Generate HTML badges