You can make a pull request with the changes that are needed, in this way it can be reviewed easier and merged if the developer doesn't discover anything wrong.

—
Reply to this email directly or view it on GitHub.