Fix github.com mirroring : use '--add' option