StackOverflow 文档 ant 教程 Git 的 Ant 任务 Pull Pull Created: November-22, 2018 <git command = "pull" dir = "repository_path" /> 添加提交推送克隆