Comment 6 for bug 1528647

Here's how it can be done:

[1] To amend the commit:

git commit --amend --author "Name <email address hidden>"

[2] To force-push

git push -f working branch_name

(assuming that "working" is what you've named the remote for the working/Evergreen repository).