RFR: 663: Bad URL in PR created by openjdk-bot in responnse to merge conflict

[Robin Westberg]

On Mon, 21 Sep 2020 14:35:50 GMT, Erik Helin <ehelin at openjdk.org> wrote:

> Hi all,
> 
> please review this patch that correctly links to the project in the merge bot's message. I also updated the `git`
> instructions to suffix repository URLs with `.git` for older git clients who might not be used to eventual re-directs
> from forges when the URL isn't ending in `.git`.  Testing:
> - [x] `make test` passes on Linux x64
> 
> Thanks,
> Erik

Looks good!

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

Marked as reviewed by rwestberg (Reviewer).

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