From 7d8a389b20ece820eba7be4c5f124645e82f7775 Mon Sep 17 00:00:00 2001
From: Chris Wendt <chrismwendt@gmail.com>
Date: Fri, 17 Jan 2020 15:33:47 -0700
Subject: [PATCH] Add docs for extension copy

---
 cmd/src/extensions.go | 1 +
 1 file changed, 1 insertion(+)

diff --git a/cmd/src/extensions.go b/cmd/src/extensions.go
index 89010e9740..9f2aebbe4c 100644
--- a/cmd/src/extensions.go
+++ b/cmd/src/extensions.go
@@ -18,6 +18,7 @@ Usage:
 
 The commands are:
 
+	copy       copy an extension from Sourcegraph.com to your private extension registry
 	publish    publish the extension in the current directory
 	list       lists extensions
 	get        gets an extension