So I sorted out my first pull request today.
Things I learned:
- qr is a neat way of quoting a regexp for later use ....
- github doesn't let you upload new branches - I had to create the branch on the forked repo on git hub. pull that, re-commit the changes, push that. I know for next time.
- set push.default - I'm using current - it works!
- how to create a pull request.
So there you go ... the changes were trivial, simply deleting a line using version 0.77.