Toy repo to test mirroring from Github to another Git repo