[Documentation:Developer] Jeffrey Summer Report#702

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

jeffrey-summerSubmitty/submitty.github.io:jeffrey-summerCopy head branch name to clipboard