Skip to content

Conversation

@jtpio
Copy link
Member

@jtpio jtpio commented Jan 17, 2023

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

@jtpio
Copy link
Member Author

jtpio commented Jan 20, 2023

Get this one in so new extensions can get it.

@jtpio jtpio merged commit 0078434 into jupyterlab:3.0 Jan 20, 2023
@jtpio jtpio deleted the binder-pr-action branch January 20, 2023 17:35
@jtpio
Copy link
Member Author

jtpio commented Jan 20, 2023

@meeseeksdev please backport to 4.0

meeseeksmachine pushed a commit to meeseeksmachine/extension-cookiecutter-ts that referenced this pull request Jan 20, 2023
jtpio added a commit that referenced this pull request Jan 20, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant