Push comments of pull request sometimes are missed. #10699

Closed
opened 2025-11-02 09:15:53 -06:00 by GiteaMirror · 7 comments
Owner

Originally created by @lunny on GitHub (Apr 20, 2023).

Take a look at the PR https://gitea.com/gitea/blog/pulls/262 . There are 4 commits but no any commits comment on pull request conversation.

Originally created by @lunny on GitHub (Apr 20, 2023). Take a look at the PR https://gitea.com/gitea/blog/pulls/262 . There are 4 commits but no any commits comment on pull request conversation.
GiteaMirror added the type/bug label 2025-11-02 09:15:53 -06:00
Author
Owner

@wxiaoguang commented on GitHub (Apr 20, 2023):

Have you checked the database? I guess the problem is that when a PR is open, the comments are displayed. But for merged PRs, the commits are not displayed?

@wxiaoguang commented on GitHub (Apr 20, 2023): Have you checked the database? I guess the problem is that when a PR is open, the comments are displayed. But for merged PRs, the commits are not displayed?
Author
Owner

@wxiaoguang commented on GitHub (Apr 20, 2023):

A old PR https://gitea.com/gitea/blog/pulls/180 (2 years ago) doesn't show the commits either

@wxiaoguang commented on GitHub (Apr 20, 2023): A old PR https://gitea.com/gitea/blog/pulls/180 (2 years ago) doesn't show the commits either
Author
Owner

@lunny commented on GitHub (Apr 20, 2023):

Ah, really. But it's not GH style. I just noticed that.

@lunny commented on GitHub (Apr 20, 2023): Ah, really. But it's not GH style. I just noticed that.
Author
Owner

@wxiaoguang commented on GitHub (Apr 20, 2023):

The code was written as this ....

	CommentTypePullRequestPush // 29 push to PR head branch

image

@wxiaoguang commented on GitHub (Apr 20, 2023): The code was written as this .... ``` CommentTypePullRequestPush // 29 push to PR head branch ``` ![image](https://user-images.githubusercontent.com/2114189/233422600-6238b680-0895-4e9d-b6c7-8de7f3370634.png)
Author
Owner

@wxiaoguang commented on GitHub (Apr 20, 2023):

I think there is a bug.

latestCloseCommentID is always 0

@wxiaoguang commented on GitHub (Apr 20, 2023): I think there is a bug. `latestCloseCommentID` is always 0
Author
Owner

@lunny commented on GitHub (Apr 20, 2023):

Caused by #23189 @sillyguodong

@lunny commented on GitHub (Apr 20, 2023): Caused by #23189 @sillyguodong
Author
Owner

@wxiaoguang commented on GitHub (Apr 20, 2023):

Oh, I have proposed a fix

Show commit history for closed/merged PRs #24238

@wxiaoguang commented on GitHub (Apr 20, 2023): Oh, I have proposed a fix Show commit history for closed/merged PRs #24238
Sign in to join this conversation.
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: github-starred/gitea#10699