Usage of 'src extensions copy':
  -current-user string
    	The current user
  -dump-requests
    	Log GraphQL requests and responses to stdout
  -extension-id string
    	The <extID> in https://sourcegraph.com/extensions/<extID> (e.g. sourcegraph/java)
  -get-curl
    	Print the curl command for executing this query and exit (WARNING: includes printing your access token!)
  -insecure-skip-verify
    	Skip validation of TLS certificates against trusted chains
  -trace
    	Log the trace ID for requests. See https://sourcegraph.com/docs/admin/observability/tracing
  -user-agent-telemetry
    	Include the operating system and architecture in the User-Agent sent with requests to Sourcegraph (default true)
Copy an extension from Sourcegraph.com to your private registry.