On Mon, Jun 22, 2020 at 3:06 PM Jonathan Corbet <cor...@lwn.net> 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