[Documentation:Developer] instructions for pushing to a fork#603

bmcutler merged 5 commits intomainSubmitty/submitty.github.io:mainfrom

push_to_forkSubmitty/submitty.github.io:push_to_forkCopy head branch name to clipboard