.github repository This public repository contains an overview of our use of GitHub which is shown on the CMU WebApps organization profile page.