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

Changes by create-pull-request action #20

Merged
merged 3 commits into from
Aug 23, 2024
Merged

Conversation

github-actions[bot]
Copy link
Contributor

Automated changes by create-pull-request GitHub action

@github-actions github-actions bot force-pushed the create-pull-request/patch branch from b7ba85b to f454d54 Compare July 25, 2024 06:14
@github-actions github-actions bot force-pushed the create-pull-request/patch branch from f454d54 to f9cd256 Compare August 1, 2024 06:15
@github-actions github-actions bot force-pushed the create-pull-request/patch branch from f9cd256 to 5b47139 Compare August 9, 2024 06:15
@ghost
Copy link

ghost commented Aug 19, 2024

Is it possible to also add protoc v27.3 ?

@github-actions github-actions bot force-pushed the create-pull-request/patch branch from 5b47139 to 5f065ab Compare August 23, 2024 06:14
@alexeagle
Copy link
Member

@lbcjbb yeah this automation assumes the prior version landed, but I fell behind merging these. As you can see there were force-pushes from earlier commits that did include that version. Fixing...

@alexeagle alexeagle merged commit a5d66d2 into main Aug 23, 2024
7 checks passed
@alexeagle alexeagle deleted the create-pull-request/patch branch August 23, 2024 13:15
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.

1 participant