Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

gh-93851: Add Tools/scripts/checkhtmllinks.py #93856

Closed
wants to merge 8 commits into from
Closed

gh-93851: Add Tools/scripts/checkhtmllinks.py #93856

wants to merge 8 commits into from

Commits on Jun 15, 2022

  1. Initial revision of Tools/scripts/checkhtmllinks.py

    @arhadthedev
    arhadthedev committed Jun 15, 2022
    Configuration menu
    Copy the full SHA
    8f0661d View commit details
    Browse the repository at this point in the history

  2. Clarify runtime estimations

    @arhadthedev
    arhadthedev committed Jun 15, 2022
    Configuration menu
    Copy the full SHA
    a547a73 View commit details
    Browse the repository at this point in the history

  3. Hide an unimportant abstraction

    @arhadthedev
    arhadthedev committed Jun 15, 2022
    Configuration menu
    Copy the full SHA
    5a9e8d8 View commit details
    Browse the repository at this point in the history

  4. Use more relevant abstractions

    @arhadthedev
    arhadthedev committed Jun 15, 2022
    Configuration menu
    Copy the full SHA
    c57e264 View commit details
    Browse the repository at this point in the history

  5. Use the same capitalization as in -h cmdline key

    @arhadthedev
    arhadthedev committed Jun 15, 2022
    Configuration menu
    Copy the full SHA
    9c4ab0f View commit details
    Browse the repository at this point in the history

Commits on Jul 21, 2022

  1. Merge branch 'main' into script-checkhtml

    @arhadthedev
    arhadthedev authored Jul 21, 2022
    Configuration menu
    Copy the full SHA
    0911e9d View commit details
    Browse the repository at this point in the history

Commits on Aug 4, 2022

  1. Fix test_target() so it always returns a list

    @arhadthedev
    arhadthedev authored Aug 4, 2022
    Configuration menu
    Copy the full SHA
    af53ada View commit details
    Browse the repository at this point in the history

Commits on Oct 8, 2022

  1. Merge branch 'main' into script-checkhtml

    @arhadthedev
    arhadthedev authored Oct 8, 2022
    Configuration menu
    Copy the full SHA
    937a72c View commit details
    Browse the repository at this point in the history