Skip to content

.github: manually buf push#74

Merged
jzelinskie merged 1 commit intoauthzed:mainfrom
jzelinskie:drop-action
Jun 28, 2023
Merged

.github: manually buf push#74
jzelinskie merged 1 commit intoauthzed:mainfrom
jzelinskie:drop-action

Conversation

@jzelinskie
Copy link
Copy Markdown
Member

The buf push action only uses github.ref_name and no sha for drafts, which is incompatible with pushing things from main.

The buf push action only uses github.ref_name and
no sha for drafts, which is incompatible with
pushing things from main.
@jzelinskie jzelinskie added area/dependencies Affects dependencies kind/bug Something is broken or regressed area/tooling Affects the dev or user toolchain labels Jun 28, 2023
@jzelinskie jzelinskie merged commit 239abdd into authzed:main Jun 28, 2023
@jzelinskie jzelinskie deleted the drop-action branch June 28, 2023 21:22
@github-actions github-actions bot locked and limited conversation to collaborators Jun 28, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

area/dependencies Affects dependencies area/tooling Affects the dev or user toolchain kind/bug Something is broken or regressed

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants