「Git×ネットワーク管理」がさらにはかどる“無料ツール”はどれ？（関連情報）：ネットワーク管理でGitを活用【後編】