BTW, when committers merge PR also needs to pay attention to simplifying the commit message.
I find there exist many duplicate commit messages in the git log. The commit message can be edited when merging PR, and remove the duplicate message. On Wed, Feb 16, 2022 at 12:01 PM Jiajie Zhong <[email protected]> wrote: > > I think is not related to the first PR title but the first line of commit > message in the first commit > > Maybe using some bot or tool like git hook would help a little, but the > better way to solve > this is we should pay more attention when we merge PR. > > Bot only makes sure we have a title. but I think only we could determine > whether the title > is accurate or not. > > But I also like to see if we could find some bot or tool like git hook to do > the first step > before we. > > Cheers, > — Jiajie Zhong > >
