[Documentation:Developer] Github instructions for fork page#608

bmcutler merged 1 commit intomainSubmitty/submitty.github.io:mainfrom

github-desktop-forkSubmitty/submitty.github.io:github-desktop-forkCopy head branch name to clipboard