The title of the pull request is the right format for the commit message first line, as per contributing guide.

Can you amend the commit message accordingly? If not, I can rename the file myself.


You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or mute the thread.