Skip to content

Conversation

@github-actions
Copy link
Contributor

@github-actions github-actions bot commented Apr 26, 2025

Pull Requests

Post Release Tasks

git checkout main
git pull origin main
git tag $(date +"%Y%m%d_%H%M%S")
git push origin $(date +"%Y%m%d_%H%M%S")

@github-actions github-actions bot changed the title Preparing release pull request... # Release 2025-04-26 10:31:12 Apr 26, 2025
@snickerjp snickerjp merged commit daa678d into main Apr 26, 2025
5 checks passed
@github-actions github-actions bot mentioned this pull request May 1, 2025
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