chore: Remove deprecated extensions commands#1173

eseliger merged 2 commits intomainsourcegraph/src-cli:mainfrom

es/06-12-chore_remove_deprecated_extensions_commandssourcegraph/src-cli:es/06-12-chore_remove_deprecated_extensions_commandsCopy head branch name to clipboard