skill: Cut legacy docs branches at the release publish time, not the main tip - #2093

skill: Cut legacy docs branches at the release publish time, not the main tip#2093

marcleblanc2 merged 4 commits into

mainsourcegraph/docs:mainfrom

aditi/skill-docs-version-cutoffsourcegraph/docs:aditi/skill-docs-version-cutoffCopy head branch name to clipboard