Open
Description
What?
Add an optional input repository_ids
, which is a list of repository IDs that the token should have access to.
repository_ids: >-
[${{github.repository_id}}]
Why?
To limit repositories.
The advantage of repository_ids
compared with repositories
is that we can get repository_id
from github context's github.repository
easily.
On the other hand, it is a little difficult to get a repository name from github context.
Metadata
Metadata
Assignees
Labels
No labels