Add action to create binder link to PR on comment

jupyter-widgets / tutorial

A tutorial for widgets

BSD 3-Clause "New" or "Revised" License

391 stars 160 forks source link

Add action to create binder link to PR on comment #136

Closed mwcraig closed 3 years ago

mwcraig commented 3 years ago

This action will add a comment on a PR to the binder for that PR if someone comments on the PR with the phrase /binder. Seems potentially useful for taking a quick look at PRs and/or trying out changes to our binder configuration.