pushing changes before merging pull request