Reply to this email directly, view it on GitHub, or unsubscribe.
You are receiving this because you are subscribed to this thread.
Thanks, I will merge it manually because the commit message does not follow the format from contributing guidelines, use it for next commits that you want to push in order to be able to do the merging from PR portal:
—
Reply to this email directly, view it on GitHub, or unsubscribe.
You are receiving this because you are subscribed to this thread.