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.