Pull request back to you

Hey @jsnodgrass, I’m cleaning up our open source repos. I want to delete our fork after you approve or decline this PR. Thanks!