a repo for a lecture