I know I could merge some commits into one by git commit --amend
for the commits has not been pushed.
But what about the commits already being pushed?
Assume there are no other commits being pushed to remote recently. So I would like to merge the top commit in the remote and some recently changed files in the local branch. Thanks.