Skip to content

Conversation

@gotson
Copy link

@gotson gotson commented Jan 5, 2023

closes #322

@gotson gotson changed the title add head_repo and head_owner outputs add head_repo and head_owner outputs Jan 17, 2023
alessbell added a commit to alessbell/pull-request-comment-branch that referenced this pull request Feb 17, 2023
@echoix
Copy link

echoix commented Apr 5, 2023

I’d like to see this PR merged, as it seems to be what I am missing to be able to properly checkout and commit on a PR through a workflow called from a workflow_dispatch

@gotson
Copy link
Author

gotson commented Apr 14, 2023

Hi @xt0rted would you consider merging this PR?

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.

how to get PR repo name ?

2 participants