function push --description 'alias push=git push'
  git push $argv; 
end