This is the best git alias:derp = "!f(){ git commit --amend --no-edit && git push --force-with-lease -u \"$(git branch-push)\" HEAD \"$@\"; };f"