Repository overview and functionality#1280

JEdelstein25 wants to merge 1 commit intoadd-customer-docssourcegraph/docs:add-customer-docsfrom

amp/repository-overview-and-functionalitysourcegraph/docs:amp/repository-overview-and-functionalityCopy head branch name to clipboard