Re: [PATCH] Replace HTTP links with HTTPS ones: Documentation/process
From: Miguel Ojeda
Date: Mon Jun 22 2020 - 13:03:50 EST
On Mon, Jun 22, 2020 at 3:06 PM Jonathan Corbet <corbet@xxxxxxx> wrote:
>
> As has been noted elsewhere, checkpatch.pl seems like the appropriate
> place to make this check. As for "the entire tree"...if this job gets
> completed, "git grep" should be a fine way to do that.
`checkpatch` is not really enforced in many subsystems, no? Further,
some existing and future HTTP links may support HTTPS later on.
As for `git grep`, agreed if we reach near 100%. Otherwise, no. In the
general case, including the code for a task that has some likelihood
of needing repetition is a safe bet, which is why I suggested it. The
same script could be also used to check for broken links and related
maintenance.
Cheers,
Miguel