Pull request merge comments are wrong. #4902

Closed
opened 2025-11-02 06:06:43 -06:00 by GiteaMirror · 1 comment
Owner

Originally created by @lunny on GitHub (Feb 20, 2020).

Once you have force push commits to that pull request and when you merge it, you will find the merge message includes many unrelated commits informations.

Originally created by @lunny on GitHub (Feb 20, 2020). Once you have force push commits to that pull request and when you merge it, you will find the merge message includes many unrelated commits informations.
GiteaMirror added the type/bug label 2025-11-02 06:06:43 -06:00
Author
Owner

@zeripath commented on GitHub (Mar 4, 2020):

I think this is should be fixed by #10586

@zeripath commented on GitHub (Mar 4, 2020): I think this is should be fixed by #10586
Sign in to join this conversation.
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: github-starred/gitea#4902