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

[Erik Helin]

On 12/3/19 8:20 PM, Robin Westberg wrote:
> 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
> 
> Looks good, but do we need to update something else like a manpage?

Nope, I think we are good. This is only mentioned in the output of the tool.

Thanks,
Erik