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