[Approved] RFR: Add command git-publish

[Robin Westberg]

On Thu, 10 Oct 2019 15:22:33 GMT, Erik Helin <ehelin at openjdk.org> wrote:

> Hi all,
> 
> this patch adds the command `git-publish` which is handy shortcut for pushing the current branch to the a remote (by default `origin`). I essentially grew tired of typing `git push -u origin <current-branch>` and don't want to set `git config --global push.default current` since then I don't get an upstream set.
> 
> ## Testing
> - Manual testing (pushed the branch for this PR with the tool)
> 
> Thanks,
> Erik
> 
> ----------------
> 
> Commits:
>  - 75a56601: Add git-publish to image
>  - 21ae5f31: Add git-publish command
> 
> Changes: https://git.openjdk.java.net/skara/pull/198/files
>  Webrev: https://webrevs.openjdk.java.net/skara/198/webrev.00
>   Stats: 85 lines in 2 files changed: 84 ins; 0 del; 1 mod
>   Patch: https://git.openjdk.java.net/skara/pull/198.diff
>   Fetch: git fetch https://git.openjdk.java.net/skara pull/198/head:pull/198

Looks good!

----------------

Approved by rwestberg (Reviewer).

PR: https://git.openjdk.java.net/skara/pull/198