You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
This repository was archived by the owner on Jul 7, 2025. It is now read-only.
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.
Activity
suzuki-shunsuke commentedon Nov 26, 2023
I opened a pull request to resolve the issue.
repository_ids
#107repository_ids
#107suzuki-shunsuke commentedon Nov 26, 2023
We can get a repository name from github context like this.
But a repository id is simpler and well documented than a repository name.