linux-config/dot_config/fish/functions/git/git-push-diff-name.fish

function git-push-diff-name
    git push -f origin HEAD:$argv[1]
end