RFR: 176: git-pr should promote usage of git-publish

Tue Dec 3 19:25:43 UTC 2019

On Tue, 3 Dec 2019 19:18:53 GMT, Erik Helin <ehelin at openjdk.org> wrote:

> Hi all,
> 
> pleaser review this small pull request that promotes usage of `git publish`
> instead of `git push --set-upstream`.
> 
> Testing:
> - [x] Tested live while demoing features
> 
> Thanks,
> Erik

Okay, looks good then!

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

Approved by rwestberg (Reviewer).

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

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