Update ci skip documentation in infrastructure.md#2297

wshanks wants to merge 1 commit intoconda-forge:mainconda-forge/conda-forge.github.io:mainfrom

wshanks:patch-1wshanks/conda-forge.github.io:patch-1Copy head branch name to clipboard