Backport PR #7308: Ignore links to GitHub user and organisation profiles (#7309)

Co-authored-by: Jeremy Tuloup <jeremy.tuloup@gmail.com>
pull/7328/head
Lumberbot (aka Jack) 2 years ago committed by GitHub
parent 851a4beaae
commit 22eedd39e0
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

@ -175,7 +175,7 @@ jobs:
- uses: jupyterlab/maintainer-tools/.github/actions/base-setup@v1
- uses: jupyterlab/maintainer-tools/.github/actions/check-links@v1
with:
ignore_links: 'https://playwright.dev/docs/test-cli/ https://blog.jupyter.org/the-big-split-9d7b88a031a7 https://blog.jupyter.org/jupyter-ascending-1bf5b362d97e https://mybinder.org/v2/gh/jupyter/notebook/main https://nbviewer.jupyter.org https://stackoverflow.com'
ignore_links: 'https://playwright.dev/docs/test-cli/ https://blog.jupyter.org/the-big-split-9d7b88a031a7 https://blog.jupyter.org/jupyter-ascending-1bf5b362d97e https://mybinder.org/v2/gh/jupyter/notebook/main https://nbviewer.jupyter.org https://stackoverflow.com https://github.com/[^/]+/?$'
ignore_glob: 'ui-tests/test/notebooks/*'
test_lint:

Loading…
Cancel
Save