change file commit push code example

Example 1: add change to last commit

$ (some_branch) git commit --amend

Example 2: how to remove a pushed file from git

git checkout HEAD^ -- /path/to/file