git-mirrors: simple script to sync mirrors github <-> cern