I sort of understand why you want to avoid GitHub, thank you for sharing those links. All in all though to make a small pull request like the one in question, it takes about 2 minutes and three clicks to do so.
Not that you should do so if you don't want to, but this is a good thing for OS projects. The barrier to entry and contribute is non-existent - if you want to fix something small just press 'edit', make your changes in the browser and press 'submit merge request'.
No cloning, no local installs, no fuss. You can do it from your phone, on a bus.
I do mind, so no thanks. I've written at length about why[1][2].
I'm not using the project, but you can consider the feedback in my last comment as a bug report if you like.
1. http://www.colbyrussell.com/2015/05/31/git-and-its-hubs.html
2. https://github.com/colbyrussell/keeping-a-low-profile-on-git...