实验表明只要git push就可以了