A repo to study some GitHub basics, again