No a PR that actually makes the world a better place. Be the change you want to see and all that.
By deleting the repo and banning the person from GitHub?