팀이 소스 변경 이력·브랜치·태그를 관리할 도구를 고른다. 다음 중 버전 관리 시스템이 아니라 빌드·배포 작업을 자동 실행하는 CI 서버는?