Your PR was against your own master, but it seems that af123 applied the commit to hummypkg/master anyway....
Perhaps @/df can suggest what I need to do to get the commit pulled into the master
I think in the early days I wasn't authorized to raise pull requests on hummypkg and I was very git naive at the time but it was eventually sorted out so we now to work out why it doesn't appear to be working for @rodpYour PR was against your own master, but it seems that af123 applied the commit to hummypkg/master anyway.