dev_tool:一个不太复杂的bash脚本,用于简化多个git存储库的管理