Up to you. The PR is kind of nice as you get "credit" for it in the repo.