Rename PR link label on top page#217

ootakazuhiko merged 1 commit into

mainitdojp/github-guide-for-beginners-book:mainfrom

codex/rename-pr-link-github-guideitdojp/github-guide-for-beginners-book:codex/rename-pr-link-github-guideCopy head branch name to clipboard