Also to be clear, the workshop is targeted on getting comfortable with the commandline and git on folks local computers with github being the last topic covered. The workshop is not github centric, I present it as another extension of using cli/ git for collaboration.