Skip to content

Conversation

@briantist
Copy link
Contributor

Clarify owner (could be org) rather than user, show example with github.repository

Might also consider making ${{ github.repository }} the default for the repository input and making it not required; would be a breaking change but a welcome one I think.

Clarify owner (could be org) rather than user, show example with `github.repository`
@robinraju
Copy link
Owner

@briantist Thanks for the contribution. This change makes more sense. I'll consider adding the default value for 'repository' in another PR (I guess it won't be a breaking change)

@robinraju robinraju merged commit a9bf8be into robinraju:main May 22, 2022
@robinraju
Copy link
Owner

@briantist repository is optional now with a default value pointing to the current repo.

I merged another PR.
See: #436

@briantist briantist deleted the patch-1 branch May 22, 2022 13:41
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