ignore more GitHub links in HTMLProofer#1601

SethTisue merged 1 commit intoscala:mainscala/scala-lang:mainfrom

SethTisue:ignore-github-scalaSethTisue/scala-lang:ignore-github-scalaCopy head branch name to clipboard