He has this up on github now.
The best way is to fork his repository for this; this creates a copy of it under your account. Then you clone it to your computer, make the changes, commit and push. Then those changes are in your repository.
After that, you can do a pull request, and Dave can look through the commit and see if it's acceptable, and then the changes will merge into his master copy.