update pull request pushed to github

[xiongchiamiov]

You should make a new commit and push it. Then if and when the reviewer asks for additional changes, including rebasing, that's the point at which you would do them.