[Developer] more updates#667

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

march_updateSubmitty/submitty.github.io:march_updateCopy head branch name to clipboard