Update github-script action

jupyterhub / mybinder.org-user-guide

Turn a Git repo into a collection of interactive notebooks. This is Binder's user documentation repository.

https://mybinder.readthedocs.io

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

150 stars 103 forks source link

Closed fcollonval closed 1 year ago

fcollonval commented 1 year ago

Thanks @consideRatio I updated the other workflows.

consideRatio commented 1 year ago

Thanks @fcollonval!!