To merge a pull request directly, the commit log format must follow the guidelines from contributing guide:
There is always space to improve documentation, cleanup code, etc ... no need to wait to hunt an issue, we welcome contributors in any place of the code and documentation!
—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or mute the thread.