Skip to content

Add inputs for repo and PR number#26

Open
xie-jinwei wants to merge 6 commits intotzkhan:masterfrom
xie-jinwei:input-repo-number
Open

Add inputs for repo and PR number#26
xie-jinwei wants to merge 6 commits intotzkhan:masterfrom
xie-jinwei:input-repo-number

Conversation

@xie-jinwei
Copy link
Copy Markdown

This GitHub Actions can only be triggered by pull_request events now, because, it directly read context for repo name and PR number.

This PR add action inputs for repo and PR number. So this GitHub Actions can now be used to update PR on any events. (For example, use slash command in PR comments, triggering a repository_dispatch event and use this repository_dispatch event to update PR)

Signed-off-by: xie-jinwei jinwei.xie@intel.com

@xie-jinwei xie-jinwei force-pushed the input-repo-number branch 2 times, most recently from 6d7aea1 to bd75fb3 Compare September 1, 2021 14:59
Signed-off-by: xie-jinwei <jinwei.xie@intel.com>
Signed-off-by: xie-jinwei <jinwei.xie@intel.com>
Signed-off-by: xie-jinwei <jinwei.xie@intel.com>
Signed-off-by: xie-jinwei <jinwei.xie@intel.com>
Signed-off-by: xie-jinwei <jinwei.xie@intel.com>
Signed-off-by: xie-jinwei <jinwei.xie@intel.com>
@airtonix
Copy link
Copy Markdown

airtonix commented Sep 1, 2022

This GitHub Actions can only be triggered by pull_request events now, because, it directly read context for repo name and PR number.

Why are these required?

what if we're using this action somewhere else to update another PR ?

It's not really clear what your PR adds that I can already do with this action.

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.

2 participants