Skip to content

Publish version metadata to an external repository#957

Merged
zanieb merged 4 commits intomainfrom
version-publish
Jan 30, 2026
Merged

Publish version metadata to an external repository#957
zanieb merged 4 commits intomainfrom
version-publish

Conversation

@zanieb
Copy link
Member

@zanieb zanieb commented Jan 21, 2026

Similar to astral-sh/uv#17648

@zanieb zanieb added the ci:skip label Jan 21, 2026
publish-versions:
needs: release
if: ${{ github.event.inputs.dry-run == 'false' }}
uses: ./.github/workflows/publish-versions.yml

Check warning

Code scanning / zizmor

secrets unconditionally inherited by called workflow Warning

secrets unconditionally inherited by called workflow
working-directory: astral-versions
run: |
git config user.name "astral-versions-bot"
git config user.email "[email protected]"
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Does the numerical prefix here has significance? Would a prefix that helped id the commit as coming from the pbs workflow help debug in the future?

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Apparently that's the GitHub user id of the bot account which makes it robust to account name changes 🤷‍♀️ {user_id}+{username}@users.noreply.github.com

@zanieb zanieb marked this pull request as ready for review January 30, 2026 13:40
@zanieb zanieb merged commit 18d672b into main Jan 30, 2026
11 checks passed
@zanieb zanieb deleted the version-publish branch January 30, 2026 14:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants