I would not include this, since you don't want to have any `*.orig` files lying around when it is time to commit, as that indicates that you have forgotten to merge something.