[Github] PR 탭 카운트와 실제 리스트 개수가 다른 이슈 (Cannot see all pull requests)

🚨 사소하지만 신경 쓰이는 발견

평소처럼 회사 레포의 Pull requests 탭을 열어보다가 이상한 걸 발견했다.

탭 옆에 표시된 PR 카운트는 27인데, 막상 리스트를 열어보니 24 Open으로 떠 있었다.

 

 

Pull requests 27   ← 탭 뱃지
↓
24 Open  6,668 Closed   ← 실제 리스트

코드도 만지고 있던 것도 아니고, 필터를 건 것도 아닌데 숫자가 달랐다. 처음엔 그냥 캐시 문제인가 싶어서 새로고침도 해보고 다른 브라우저로도 열어봤는데, 똑같이 숫자가 안 맞았다.

🔎 원인 파악

확인해보니 GitHub 측에서 인지하고 있는 진행 중인 버그였다.

• GitHub Community Discussion: https://github.com/orgs/community/discussions/193463
• GitHub Status (공식 인시던트): https://www.githubstatus.com/incidents/x69zbgdyfzg0
• 관련 discussion: https://github.com/orgs/community/discussions/192108, https://github.com/orgs/community/discussions/193388

discussion에서 정리된 근본 원인을 요약하면 다음과 같다.

1) PR 카운터(badge)와 PR 리스트는 서로 다른 시스템에서 데이터를 가져온다

Sakshamxx님 댓글에 따르면, 카운터 배지는 정상이지만 리스트 뷰가 인덱싱 동기화 문제로 일부 PR을 놓치는 구조라고 한다. 그래서 카운트는 27인데 리스트엔 24만 나오는 식의 차이가 발생한다.

2) Search index desync

syedahmedx3님이 정리한 댓글에서 root cause가 명확해졌다.

PR은 DB에는 존재하지만, search/list 인덱스에서 누락된 상태

즉, PR 자체가 사라진 게 아니라 검색/리스트 인덱스에서만 안 보이는 것이다. 그래서 직접 URL로 PR 페이지에 들어가면 멀쩡하게 열린다.

🛠️ 임시 해결 방법

이슈가 해결될 때까지 사용할 수 있는 우회 방법은 세 가지가 있다.

1. API로 우회 조회 (가장 확실함)

UI는 못 보여줘도 API는 정확한 결과를 돌려준다. gh CLI를 쓰거나 REST API를 직접 호출하면 된다.

 

 

# gh CLI
gh pr list --limit 1000

# REST API
curl https://api.github.com/repos/{owner}/{repo}/pulls?state=open

이 방법으로 누락된 PR의 번호를 알아낸 뒤, 직접 URL로 접근하면 된다.

2. 누락된 PR에 코멘트/리뷰 작성

swifthand님이 발견한 트릭인데, 누락된 PR에 코멘트나 리뷰를 작성하면 해당 PR이 다시 리스트에 나타나는 경우가 있다고 한다.

writing to a PR triggers an index update event for that object, which forces a reindex of that specific PR.

PR에 write 이벤트가 발생하면 인덱스 업데이트 이벤트가 트리거되면서 강제 reindex가 일어나기 때문이다. 100% 보장되는 방법은 아니지만 시도해볼 만하다.

3. GitHub Support에 티켓

nunnatsa님 케이스에서 확인된 방법이다. 해당 repo를 명시해서 support 티켓을 열면, GitHub에서 수동으로 reindex를 해준다고 한다. 영향 범위가 크고 누락된 PR이 많다면 이 방법이 가장 확실하다.

⚠️ 현재 상태

GitHub Status 페이지에는 "resolved"로 표시되어 있지만, 5월 4~5일 댓글을 봐도 여전히 "이슈가 재발하고 있다"는 보고가 계속 올라오고 있다.

I'm still experiencing this issue even though the incident is resolved. The PRs were back last week and are gone again now (nshoreibah-kvyo, May 4)

즉 완전히 고쳐진 게 아니라 산발적으로 재발하는 상태로 보인다.

💡 마무리하며

처음엔 그냥 GitHub UI 버그인가 했는데, 알고 보니 꽤 광범위하게 영향을 주고 있는 알려진 이슈였다.

이번에 새삼 느낀 점은, GitHub UI에 보이는 숫자를 100% 신뢰하면 안 된다는 것이다.

• PR 카운트(badge) → DB 기반 카운트
• PR 리스트 → search index 기반 조회
• 두 시스템이 동기화되지 않으면 숫자가 어긋날 수 있음

특히 리뷰 누락이나 missed PR 같은 게 발생할 수 있으니, 자동화 워크플로우에서 PR 목록을 가져와야 한다면 UI보단 API를 쓰는 게 안전하겠다.

해당 discussion에 나도 댓글을 남겨두긴 했는데, GitHub 쪽에서 일반적인 fix가 나오기 전까지는 위 우회법으로 버틸 수밖에 없을 것 같다.

같은 현상을 발견하고 "어? 숫자가 왜 다르지?" 하셨던 분들께 도움이 되었으면 한다. 🙏

 

Cannot see all pull requests · community · Discussion #193463