actions-marketplace-validations/binderhub-badge-commenter
Add a BinderHub link comment on PRs
View on GitHubTrust Signals
- Scorecard Score
- not yet scored
- Maintenance Recency
- Stale
- License
- None
Inputs
| name | description | required | default |
|---|---|---|---|
| githubToken | GitHub token | yes | — |
| query | Optional query string to pass to the launched server, for example `urlpath=lab`, will be used exactly as is (no escaping) | no | — |
| binderUrl | BinderHub base URL if not using mybinder.org | yes | https://mybinder.org |
| environmentRepo | If set then the current repository is used to supply the content for nbgitpuller, and the environment is built using `environmentRepo`. Must be in the form `<repo-type>/<repo>/<version>`, e.g. `gist/manics/c34db392c2bd2eb133c58c83c59358a1/HEAD` | no | — |
| urlpath | Optional URL path to pass to the launched server, for example `lab/tree/example.ipynb` or `rstudio` | no | — |
| updateDescription | If `true` then append the comment to the description instead of in a new comment | no | — |
| persistentLink | If `true` then the commit SHA will be used and the comment will be updated on subsequent runs, otherwise the branch name will be used | no | — |
Outputs
no outputs