It is better to make a pull request, in that way the patch can be reviewed directly on github and it is compiled to see if it rises any issues. After that, merging the patch is just one click.

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