Sure, you should definitely submit a pull request through github.
Github has a very good writeup of how to do this here:
https://help.github.com/articles/using-pull-requests