eg work push
work push publishes HEAD to a remote repository.
eg work push
The remote branch name is optional and is never asked. Without it, the command uses the upstream branch when one is set, otherwise the local name.
On a protected branch it refuses — delivering there is accept, or a plain git push if you really mean it.
The stash pipe wraps the rest. If a rebase is already in progress, it continues that rebase; otherwise it fetches and rebases onto the freshest source. Then it force-pushes with --set-upstream to the remote (from the upstream remote, or origin). HTTP URLs in the push output are opened when open is available.