Even for a small change a pull request is preferred since they allow the origin of the change to be tracked.