[Documentation:Developer] Justin Summer Report#703

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

manion-writeupSubmitty/submitty.github.io:manion-writeupCopy head branch name to clipboard