Closed ianhi closed 3 years ago
Adds a binder bot that will comment on PRs with a link to a binder based on the PR's branch. This makes it easier to review.
Adds a binder bot that will comment on PRs with a link to a binder based on the PR's branch. This makes it easier to review.