Skip to content

Ignore links to GitHub user and organisation profiles #427

Ignore links to GitHub user and organisation profiles

Ignore links to GitHub user and organisation profiles #427

Workflow file for this run

name: Binder Badge
on:
pull_request_target:
types: [opened]
permissions:
contents: read
jobs:
binder:
runs-on: ubuntu-latest
permissions:
pull-requests: write
steps:
- uses: jupyterlab/maintainer-tools/.github/actions/binder-link@v1
with:
github_token: ${{ secrets.github_token }}
url_path: tree