Sorry, my ignorance of how github handles pull requests bit me here.  This was supposed to be separate.