Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

v0.9.3-rc.0 #412

Merged
merged 25 commits into from
Aug 8, 2022
Merged

v0.9.3-rc.0 #412

merged 25 commits into from
Aug 8, 2022

Conversation

llbartekll
Copy link
Contributor

No description provided.

@llbartekll llbartekll requested a review from flypaper0 August 8, 2022 09:42
@arein arein added the accepted label Aug 8, 2022
@llbartekll llbartekll requested a review from sekimondre August 8, 2022 10:41
Copy link

@sekimondre sekimondre left a comment

Choose a reason for hiding this comment

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

I believe the release PR is lacking the version bump in user agent.

@llbartekll
Copy link
Contributor Author

@MisterVants good catch. how we can automate it ?🤔

@llbartekll llbartekll requested a review from sekimondre August 8, 2022 12:22
@sekimondre
Copy link

@MisterVants good catch. how we can automate it ?🤔

Good question, I don't know. Is it possible to make a CI check that tries to match the release name with the user agent info? That could raise an error on the PR, at least.

@llbartekll llbartekll merged commit 8dda02c into main Aug 8, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
Status: Done
Development

Successfully merging this pull request may close these issues.

4 participants