Merge 커밋은 왜 생기고, 왜 복잡해지는가

어떤 때는 Merge가 커밋 없이 조용히 끝나고, 어떤 때는 Merge Commit이 하나 생겨납니다. 충돌도 없는데 커밋이 생기는 게 히스토리를 지저분하게 만드는 느낌이 들기도 합니다.

“

모든 Merge가 커밋을 만드는 건 아니다. 그렇다면 어떤 조건에서 커밋이 생기는가?

이를 이해하려면 Git이 데이터를 관리하는 구조인 DAG(Directed Acyclic Graph)와 3-way Merge 알고리즘을 살펴봐야 합니다.

Merge 커밋이 생기는 조건

Git에서 모든 Merge가 커밋을 생성하지는 않습니다. 커밋 히스토리가 한 줄로 이어질 수 있는 상황이라면 브랜치 포인터만 앞으로 이동시킵니다. 이를 Fast-Forward라고 합니다.

Fast-Forward (커밋 없음)
  main:    A → B
  feature:       → C → D

  머지 결과: main이 D를 가리키도록 포인터만 이동
  A → B → C → D  (선형 유지)

Merge 커밋이 생기는 상황은 두 가지입니다.

• 공통 조상(Base) 이후로 두 브랜치가 서로 다른 방향으로 진행되었을 때
• --no-ff 옵션으로 Fast-Forward 가능한 상황에서도 명시적으로 머지 커밋을 남기고자 할 때

Merge 커밋이 생기는 경우
  main:    A → B → C
  feature:     ↘ D → E

  공통 조상 B 이후 두 브랜치가 갈라짐 → Merge 커밋 M 생성
  A → B → C → M
          ↗
      D → E

3-way Merge 알고리즘

Merge 커밋을 생성할 때 Git은 단순히 두 브랜치의 끝만 비교하지 않습니다. 세 가지 지점을 참조합니다.

1. 공통 조상 (Base): 두 브랜치가 갈라지기 직전의 마지막 커밋
2. HEAD: 현재 작업 중인 브랜치의 최신 커밋
3. Target: 합치려는 브랜치의 최신 커밋

Git은 공통 조상 대비 각 브랜치에서 어떤 변경이 있었는지 줄 단위로 비교합니다.

이 비교 과정을 통해 Git은 모든 변경사항을 통합한 새로운 스냅샷을 만듭니다.

Merge 커밋의 내부 구조

일반 커밋은 바로 이전 커밋 하나만을 부모로 갖습니다. Merge 커밋의 가장 큰 특징은 부모가 2개 이상이라는 점입니다.

일반 커밋:    A ← B ← C
                       ↑
                   parent: 1개

Merge 커밋:   A ← B ← C ← M
                  ↑         ↑
              D ← E ←───────┘
                        parent: 2개 (C, E)

• 포인터의 결합: 두 개의 부모 포인터를 가짐으로써 분리되었던 히스토리 두 줄이 하나로 합쳐졌음을 그래프에 명시합니다.
• 새로운 스냅샷: Merge 결과물인 파일 시스템 상태를 tree 객체로 기록합니다.

Merge 커밋 방식의 이점

복잡해지는 Git 그래프

Merge 커밋이 누적되면 아래와 같은 "기찻길 현상"이 생깁니다.

이 현상은 단순히 머지를 많이 해서가 아니라, 비선형 히스토리 관리 전략이 반복될 때 나타납니다.

왜 이런 형태가 만들어지는가

• 두 부모의 결합: 머지 커밋은 두 개의 부모를 갖습니다. 이 두 지점을 연결하는 선이 그래프에 추가되면서 갈래가 생깁니다.
• 지속적인 교차 병합: develop → release/prod 방향으로 주기적으로 머지하면 각 시점마다 연결선이 추가됩니다. 여기에 release/prod → develop 역방향 머지까지 섞이면 선들이 서로 꼬이기 시작합니다.
• Fast-Forward 미사용: 한쪽 브랜치만 업데이트된 상황에서도 --no-ff를 사용하면 불필요한 머지 커밋이 계속 쌓입니다.

히스토리를 정리하는 전략

git checkout feature
git rebase main
git checkout main
git merge feature  # 이제 Fast-Forward 가능

Before:  A → B → C  (main)
             ↘ D → E  (feature)

After:   A → B → C → D' → E'  (선형 유지)