随笔分类 -  Git

摘要:要想delete server的branch, 可以使用: git push origin -d 'defect/XXX' Notes: 当名字很长或者有特殊字符的时候,注意加引号哦 阅读全文
posted @ 2020-02-29 13:33 不负当下 阅读(117) 评论(0) 推荐(0)