mirror of
https://github.com/go-gitea/gitea
synced 2025-01-18 17:17:42 +01:00
0d7cf7b768
Close #23440 Cause by #23189 In #23189, we should insert a comment record into db when pushing a commit to the PR, even if the PR is closed. But should skip sending any notification in this case. --------- Co-authored-by: Lunny Xiao <xiaolunwen@gmail.com>