Skip to content
This repository was archived by the owner on Aug 29, 2023. It is now read-only.

update peter-evans/create-pull-request #183

Merged
merged 1 commit into from
Aug 19, 2021

Conversation

marten-seemann
Copy link
Contributor

Let's see if this works, but I think we'll have to change our PR creation logic at some point: peter-evans/create-pull-request#855 (comment)

@marten-seemann marten-seemann requested a review from mvdan August 18, 2021 15:44
@marten-seemann marten-seemann merged commit 2bd14bb into master Aug 19, 2021
@marten-seemann marten-seemann deleted the update-create-pull-request branch August 19, 2021 15:18
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant