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.