finally got som etraction on what is clearly a github bug... grrr
finally got som etraction on what is clearly a github bug... grrr
further refinements on the pull request call