Demo repo for GitHub workshop