fix git out-of-sync problem