Do you guys prefer I just push changes on top of the existing pull request, or should I merge them together with something like "git rebase -i"?