Skip to content

fix(ci): improve GitHub release metadata#7

Merged
konard merged 2 commits intomainfrom
issue-6-79b9bc4dc763
May 9, 2026
Merged

fix(ci): improve GitHub release metadata#7
konard merged 2 commits intomainfrom
issue-6-79b9bc4dc763

Conversation

@konard
Copy link
Copy Markdown
Member

@konard konard commented May 9, 2026

Fixes #6

Summary

Updates scripts/create_github_release.py so GitHub releases no longer use the bare tag as the display title and release notes include a PyPI shields.io badge when one is missing.

Changes

  • Added --tag-prefix with default v, so consumers can produce tags such as python_v1.2.3 without editing the script.
  • Added --language with default Python, so release titles are created as [Python] 1.2.3 or another configured language label.
  • Appended https://img.shields.io/badge/pypi-{version}-blue.svg to release notes when the body has no existing img.shields.io reference.
  • Added a changelog fragment and removed the temporary .gitkeep placeholder commit artifact.

Reproduction And Verification

The new tests/test_create_github_release.py reproduces the issue by asserting that release creation uses a configurable tag prefix, a language-labeled title, and automatic PyPI badge insertion without duplicating existing shields.io badges.

Local checks run:

  • pytest - 12 passed
  • ruff check . - passed
  • ruff format --check . - passed
  • mypy src/ - passed, with mypy warning that the installed mypy version no longer supports configured python_version = 3.9
  • python scripts/check_file_size.py - passed
  • python scripts/create_github_release.py --help - verified CLI options
  • python -m build - passed
  • twine check dist/* - passed

No UI changes; screenshots are not applicable.

Adding .gitkeep for PR creation (default mode).
This file will be removed when the task is complete.

Issue: #6
@konard konard self-assigned this May 9, 2026
@konard konard changed the title [WIP] create_github_release.py sets release title to bare "v${version}" and never adds a PyPI badge fix(ci): improve GitHub release metadata May 9, 2026
@konard konard marked this pull request as ready for review May 9, 2026 20:41
@konard
Copy link
Copy Markdown
Member Author

konard commented May 9, 2026

Working session summary

Implemented and pushed the fix to PR 7: #7

What changed:

  • create_github_release.py now supports --tag-prefix defaulting to v.
  • Release titles now use [Language] version, defaulting to [Python] 1.2.3.
  • Release notes now append a PyPI shields.io badge when no img.shields.io badge exists.
  • Added reproducing tests in tests/test_create_github_release.py.
  • Added a changelog fragment and removed the temporary .gitkeep.

Verification:

  • Local: pytest, ruff check ., ruff format --check ., mypy src/, file-size check, python -m build, and twine check dist/* all passed.
  • CI: current run 25611309134 for commit 5987d51437c6dc148569a5ef225580f507ffc9ff passed.
  • PR is marked ready for review, and the working tree is clean.

This summary was automatically extracted from the AI working session output.

@konard
Copy link
Copy Markdown
Member Author

konard commented May 9, 2026

🤖 Solution Draft Log

This log file contains the complete execution trace of the AI solution draft process.

💰 Cost estimation:

  • Model: GPT-5.5
  • Provider: OpenAI
  • Public pricing estimate: $3.788430

📊 Context and tokens usage:

  • 67.4K / 1.1M (6%) input tokens, 15.7K / 128K (12%) output tokens

Total: (67.4K + 2.4M cached) input tokens, 15.7K output tokens, $3.788430 cost

🤖 Models used:

  • Tool: OpenAI Codex
  • Requested: gpt-5.5
  • Model: GPT-5.5 (gpt-5.5)

📎 Log file uploaded as Gist (20986KB)


Now working session is ended, feel free to review and add any feedback on the solution draft.

@konard konard merged commit 58c6bfa into main May 9, 2026
7 checks passed
@konard
Copy link
Copy Markdown
Member Author

konard commented May 9, 2026

🎉 Auto-merged

This pull request has been automatically merged by hive-mind.

  • All CI checks have passed

Auto-merged by hive-mind with --auto-merge flag

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

create_github_release.py sets release title to bare "v${version}" and never adds a PyPI badge

1 participant