mostly working mirror_to_github script I can share across repositories unmodified