A workshop repo for Getting Started with GitHub