add short bit about GitHub mirroring