Closed jtpio closed 1 year ago
Update the binder-on-pr.yml workflow to use jupyterlab/maintainer-tools/.github/actions/binder-link@v1: https://github.com/jupyterlab/maintainer-tools#pr-binder-link
binder-on-pr.yml
jupyterlab/maintainer-tools/.github/actions/binder-link@v1
Get this one in so new extensions can get it.
@meeseeksdev please backport to 4.0
Update the
binder-on-pr.yml
workflow to usejupyterlab/maintainer-tools/.github/actions/binder-link@v1
: https://github.com/jupyterlab/maintainer-tools#pr-binder-link