My first Pull request

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.