docs: make server-side repo→bucket copy easier to find#2519

davanstrien merged 4 commits into

mainhuggingface/hub-docs:mainfrom

bucket-copy-discoverabilityhuggingface/hub-docs:bucket-copy-discoverabilityCopy head branch name to clipboard